Treffer: Software Verification and Analysis
Titel:
Software Verification and Analysis : An Integrated, Hands-On Approach / by Janusz Laski, William Stanley
Verantwortlich:
Ausgabe:
1st ed. 2009
Veröffentlicht:
London : Springer London, 2009
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (XVIII, 234 Seiten) : 62 illus.
Publikationstyp:
Sprache:
Englisch
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Laski, Janusz. Software Verification and Analysis. - London : Springer London, 2009. - ISBN 9781848822399
RVK-Notation:
Schlagworte:
ISBN:
9781848822405 ; 1848822405 ; 9781848822399 (Sekundärausgabe) ; 9781848822511 (Sekundärausgabe) ; 9781849968294 (Sekundärausgabe)
DOI:
10.1007/978-1-84882-240-5