Treffer: Tests and Proofs
Titel:
Tests and Proofs : 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings / edited by Margus Veanes, Luca Vigano
Verantwortlich:
Ausgabe:
1st ed. 2013
Veröffentlicht:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2013
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (X, 233 Seiten) : 50 illus.
Publikationstyp:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Programming and Software Engineering, ISSN 2945-9168 ; 7942
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Tests and Proofs. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2013. - ISBN 9783642389153
Schlagworte:
ISBN:
9783642389160 ; 3642389163 ; 978--364238915-3 (Sekundärausgabe) ; 978--364238917-7 (Sekundärausgabe)
DOI:
10.1007/978-3-642-38916-0