Certified Programs and Proofs

Lieferzeit: Lieferbar innerhalb 14 Tagen

53,49 €

Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings, Lecture Notes in Computer Science 8307 – Theoretical Computer Science and General Issues

ISBN: 3319035444
ISBN 13: 9783319035444
Herausgeber: Georges Gonthier/Michael Norrish
Verlag: Springer Verlag GmbH
Umfang: xii, 309 S., 44 s/w Illustr., 309 p. 44 illus.
Erscheinungsdatum: 18.11.2013
Auflage: 1/2013
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 5812052 Kategorie:

Beschreibung

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …