Falls Sie nur an einem bestimmten Exempar interessiert sind, können Sie aus der folgenden Liste jenes wählen, an dem Sie interessiert sind:
Nur diese Ausgabe anzeigen…
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)
ISBN: 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)
ISBN: 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)
ISBN: 9783319035451 bzw. 3319035452, in Deutsch, neu, E-Book, elektronischer Download.
Certified Programs and Proofs (2013)
ISBN: 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)
ISBN: 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)
ISBN: 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
ISBN: 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
ISBN: 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)
ISBN: 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.