Treffer: Formal techniques for distributed systems
Titel:
Formal techniques for distributed systems : joint 12th IFIP WG 6.1 international conference and 30th IFIP WG 6.1 international conference ; proceedings / FMOODS 2010 ; FORTE 2010, Amsterdam, The Netherlands, June 7 - 9, 2010. John Hatcliff ; Elena Zucca (ed.)
Beteiligt:
Körperschaft:
Veröffentlicht:
Berlin : Springer, 2010
Umfang:
XII, 231 Seiten : Diagramme ; 24 cm
Format:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Lecture notes in computer science ; 6117
Anmerkungen:
Literaturangaben
Schlagworte:
ISBN:
9783642134630