Treffer: Tests and Proofs
Titel:
Tests and Proofs : 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings / edited by Achim Brucker, Jacques Julliand
Verantwortlich:
Ausgabe:
1st ed. 2012
Veröffentlicht:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (X, 177 Seiten) : 57 illus.
Publikationstyp:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Programming and Software Engineering, ISSN 2945-9168 ; 7305
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Tests and Proofs. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2012. - ISBN 9783642304729
Schlagworte:
ISBN:
9783642304736 ; 3642304737 ; 978--364230472-9 (Sekundärausgabe) ; 978--364230474-3 (Sekundärausgabe)
DOI:
10.1007/978-3-642-30473-6