Treffer: Certified Programs and Proofs
Titel:
Certified Programs and Proofs : Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings / edited by Chris Hawblitzel, Dale Miller
Verantwortlich:
Ausgabe:
1st ed. 2012
Veröffentlicht:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (X, 305 Seiten) : 64 illus.
Publikationstyp:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Theoretical Computer Science and General Issues, ISSN 2512-2029 ; 7679
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Certified Programs and Proofs. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2012. - ISBN 9783642353079
Schlagworte:
ISBN:
9783642353086 ; 3642353088 ; 978--364235307-9 (Sekundärausgabe) ; 978--364235309-3 (Sekundärausgabe)
DOI:
10.1007/978-3-642-35308-6