Treffer: Formal methods for open object based distributed systems

Titel:

Formal methods for open object based distributed systems : 8th IFIP WG 6.1 international conference ; proceedings / FMOODS 2006, Bologna, Italy, June 14 - 16, 2006. Roberto Gorrieri ... (ed.)

Verantwortlich:

Gorrieri, Roberto

Körperschaft:

Veröffentlicht:

Berlin : Springer, 2006

Umfang:

1 Online-Ressource

Publikationstyp:

E-Book

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

Lecture notes in computer science ; 4037
alle Bände anzeigen

RVK-Notation:

Schlagworte:

ISBN:

9783540348931

DOI:

10.1007/11768869

Zusatz-Informationen