Treffer: Interactive Systems. Design Specification, and Verification
Titel:
Interactive Systems. Design Specification, and Verification : 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers / edited by Stephen W. Gilroy, Michael D. Harrison
Verantwortlich:
Ausgabe:
1st ed. 2006
Veröffentlicht:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (XII, 276 Seiten)
Publikationstyp:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Programming and Software Engineering, ISSN 2945-9168 ; 3941
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Interactive Systems. Design Specification, and Verification. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. - ISBN 9783540341451
ISBN:
9783540341468 ; 3540341463 ; --354034145-5 ; --354082384-0 ; 978--354034145-1 (Sekundärausgabe) ; 978--354082384-1 (Sekundärausgabe)
DOI:
10.1007/11752707