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…
Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings (Lecture Notes in Computer Science)
11 Angebote vergleichen
Bester Preis: € 39,78 (vom 06.09.2019)Interactive Theorem Proving (2015)
ISBN: 9783319221021 bzw. 3319221027, vermutlich in Englisch, Springer Shop, neu, E-Book, elektronischer Download.
This book constitutes the proceedings of the 6th International Conference on Interactive Theorem Proving, ITP 2015, held in Nanjing, China, in August 2015. The 27 papers presented in this volume were carefully reviewed and selected from 54 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematics. eBook.
Interactive Theorem Proving (2015)
ISBN: 9783319221021 bzw. 3319221027, in Englisch, Springer, Springer, Springer, neu, E-Book, elektronischer Download.
This book constitutes the proceedings of the 6th International Conference on Interactive Theorem Proving, ITP 2015, held in Nanjing, China, in August 2015. The 27 papers presented in this volume were carefully reviewed and selected from 54 submiss.
Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings (Lecture Notes in Computer Science) (2015)
ISBN: 9783319221021 bzw. 3319221027, in Englisch, 469 Seiten, Springer, neu, Erstausgabe, E-Book, elektronischer Download.
This book constitutes the proceedings of the 6th International Conference on Interactive Theorem Proving, ITP 2015, held in Nanjing, China, in August 2015. The 27 papers presented in this volume were carefully reviewed and selected from 54 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematics. Kindle Edition, Ausgabe: 1st ed. 2015, Format: Kindle eBook, Label: Springer, Springer, Produktgruppe: eBooks, Publiziert: 2015-08-18, Freigegeben: 2015-08-18, Studio: Springer.
Interactive Theorem Proving (2015)
ISBN: 9783319221021 bzw. 3319221027, in Deutsch, neu.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Interactive Theorem Proving. 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings (2015)
ISBN: 9783319221014 bzw. 3319221019, in Deutsch, Springer, Taschenbuch, neu.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Interactive Theorem Proving (2015)
ISBN: 9783319221014 bzw. 3319221019, in Deutsch, Springer-Verlag GmbH, Taschenbuch, neu.
Sparbuchladen, [3602074].
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Interactive Theorem Proving (2015)
ISBN: 9783319221014 bzw. 3319221019, in Deutsch, Springer-Verlag Gmbh Aug 2015, Taschenbuch, neu.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Interactive Theorem Proving (2015)
ISBN: 9783319221014 bzw. 3319221019, in Deutsch, Springer-Verlag Gmbh Aug 2015, Taschenbuch, neu.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Interactive Theorem Proving als eBook von (2015)
ISBN: 9783319221021 bzw. 3319221027, in Deutsch, Springer International Publishing, neu.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Interactive Theorem Proving: 6th International Conference, Itp 2015, Nanjing, China, August 24-27, 2015, Proceedings (2015)
ISBN: 9783319221014 bzw. 3319221019, in Deutsch, Springer Verlag, Taschenbuch, neu.
9.25x6.10 inches. In Stock.