Antikvaari
KauppiaatAsiakaspalveluKirjaudu

Formal Techniques for Distributed Objects, Components, and Systems

34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, Jun

Erika Ábrahám

Kirjasarja: Lecture Notes in Computer Science, osa 8461

Ei tuotekuvaa

Kirjoita arvostelu

Tuote ei saatavilla

Formal Techniques for Distributed Objects, Components, and Systems : 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, Jun

Lisää tuote omalle toivelistallesi ja saat halutessasi ilmoituksen sähköpostiisi, kun tuotetta tulee saataville Antikvaariin!

Haetaan tuotteita...

Teosta "Formal Techniques for Distributed Objects, Components, and Systems" ei välttämättä ole tällä hetkellä saatavilla Antikvaarista tai teoslistamme on vielä puutteellinen. Katsothan samankaltaiset tuotteet sekä alempaa löytyvät tuote-ehdotuksemme teokseen liittyen. Voit myös lisätä tämän teoksen toivelistallesi ja saat halutessasi ilmoituksen sähköpostiisi, kun tuotteita tulee saataville.

Siirry tuotehakuun

Samankaltaiset tuotteet

Tuotteita ei löytynyt. Voit selailla kirjailijan teoksia klikkaamalla kirjailijan nimeä tai etsi muita kirjoja hakukoneemme avulla.

Tiedot

Kustantaja/julkaisija

Springer Berlin Heidelberg

Sidosasu

ISBN

3662436132

9783662436134

Kieli

englanti

Alkuperäinen nimi

-

Kaikki tekijät

Erika Ábrahám

Tuotekategoriat

-

Aiheet

Computer science.

Software engineering.

Computers.

Computer logic.

Mathematical logic.

Computer Science.

Logics and Meanings of Programs.

Software Engineering.

Computation by Abstract Devices.

Mathematical Logic and Formal Languages.