Treffer: Formal Techniques for Networked and Distributed Systems - FORTE 2005
Titel:
Formal Techniques for Networked and Distributed Systems - FORTE 2005 : 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings / edited by Farn Wang
Verantwortlich:
Ausgabe:
1st ed. 2005
Veröffentlicht:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (XII, 558 Seiten)
Publikationstyp:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Programming and Software Engineering, ISSN 2945-9168 ; 3731
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Formal Techniques for Networked and Distributed Systems - FORTE 2005. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. - ISBN 9783540291893
RVK-Notation:
Schlagworte:
ISBN:
9783540320845 ; 3540320849 ; --354029189-X ; --354081639-9 ; 978--354029189-3 (Sekundärausgabe) ; 978--354081639-3 (Sekundärausgabe)
DOI:
10.1007/11562436