Antikvaari
KauppiaatAsiakaspalveluKirjaudu

Formal Techniques for Distributed Systems

Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proc

Dirk Beyer

Kirjasarja: Lecture Notes in Computer Science, osa 7892

Ei tuotekuvaa

Kirjoita arvostelu

Tuote ei saatavilla

Formal Techniques for Distributed Systems : Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proc

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

Haetaan tuotteita...

Teosta "Formal Techniques for Distributed 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

3642385923

9783642385926

Kieli

englanti

Alkuperäinen nimi

-

Kaikki tekijät

Dirk Beyer

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.

Logic design.