Falls Sie nur an einem bestimmten Exempar interessiert sind, können Sie aus der folgenden Liste jenes wählen, an dem Sie interessiert sind:
100%: Georges Gonthier; Michael Norrish: Certified Programs and Proofs (ISBN: 9783319035451) 2013, in Englisch, Taschenbuch.Nur diese Ausgabe anzeigen…
88%: Gonthier, Georges (Edited by)/ Norrish, Michael (Edited by): Certified Programs Proofs: Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings (Lecture Notes in . Computer Science General Issues) (ISBN: 9783319035444) in Deutsch, Taschenbuch.Nur diese Ausgabe anzeigen…
Certified Programs and Proofs - 12 Angebote vergleichen
| Preise | Juni 16 | Feb. 19 | Sep. 19 |
|---|---|---|---|
| Schnitt | € 47,59 | € 54,83 | € 56,88 |
| Nachfrage |
Certified Programs and Proofs (2013)
DE NW EB DLISBN: 9783319035451 bzw. 3319035452, in Deutsch, Springer Shop, neu, E-Book, elektronischer Download.
This book constitutes the refereed proceedings of the Third International Conference on Certified Programs and Proofs, CPP 2013, colocated with APLAS 2013 held in Melbourne, Australia, in December 2013. The 18 revised regular papers presented together with 1 invited lecture were carefully reviewed and selected from 39 submissions. The papers are organized in topical sections on code verification, elegant proofs, proof libraries, certified transformations and security. eBook.
Certified Programs and Proofs (2013)
EN NW EB DLISBN: 9783319035451 bzw. 3319035452, in Englisch, neu, E-Book, elektronischer Download.
This book constitutes the refereed proceedings of the Third International Conference on Certified Programs and Proofs, CPP 2013, colocated with APLAS 2013 held in Melbourne, Australia, in December 2013. The 18 revised regular papers presented together with 1 invited lecture were carefully reviewed and selected from 39 submissions. The papers are organized in topical sections on code verification, elegant proofs, proof libraries, certified transformations and security.
Certified Programs and Proofs (2013)
DE NW EB DLISBN: 9783319035451 bzw. 3319035452, in Deutsch, neu, E-Book, elektronischer Download.
Certified Programs and Proofs (2013)
DE PB NWISBN: 9783319035451 bzw. 3319035452, in Deutsch, Springer International Publishing, Taschenbuch, neu.
Certified Programs and Proofs: Third International Conference, Cpp 2013, Melbourne, Vic, Australia, December 11-13,2013, Proceedings (2013)
DE PB NWISBN: 9783319035444 bzw. 3319035444, in Deutsch, Springer, Taschenbuch, neu.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Certified Programs and Proofs (2013)
DE PB NWISBN: 9783319035444 bzw. 3319035444, in Deutsch, Springer Nov 2013, Taschenbuch, neu.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Certified Programs and Proofs
DE PB NWISBN: 9783319035444 bzw. 3319035444, in Deutsch, Springer, Taschenbuch, neu.
Buchhandlung Kühn GmbH, [4368407].
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Certified Programs and Proofs
DE PB NWISBN: 9783319035444 bzw. 3319035444, in Deutsch, Springer, Taschenbuch, neu.
Rheinberg-Buch, [3813847].
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Certified Programs Proofs: Third International Conference, Cpp 2013, Melbourne, Vic, Australia, December 11-13,2013, Proceedings (2014)
DE PB NWISBN: 9783319035444 bzw. 3319035444, in Deutsch, SPRINGER VERLAG GMBH 01/05/2014, Taschenbuch, neu.
New Book. This item is printed on demand. Shipped from UK. This item is printed on demand.