Von dem Buch Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings (Lecture Notes in Computer Science) haben wir 2 gleiche oder sehr ähnliche Ausgaben identifiziert!
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%: Herausgeber: Christian Urban, Herausgeber: Xingyuan Zhang: Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings (Lecture Notes in Computer Science) (ISBN: 9783319221021) 2015, Erstausgabe, in Englisch, auch als eBook.Nur diese Ausgabe anzeigen…
81%: Urban, Christian (Editor)/ Zhang, Xingyuan (Editor): Interactive Theorem Proving. 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings (ISBN: 9783319221014) 2015, in Deutsch, Taschenbuch.
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)1
Interactive Theorem Proving (2015)
~EN NW EB DLISBN: 9783319221021 bzw. 3319221027, vermutlich in Englisch, Springer Shop, neu, E-Book, elektronischer Download.
Lieferung aus: Deutschland, Lagernd.
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.
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.
2
Interactive Theorem Proving (2015)
EN NW EB DLISBN: 9783319221021 bzw. 3319221027, in Englisch, Springer, Springer, Springer, neu, E-Book, elektronischer Download.
Lieferung aus: Brasilien, in-stock.
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.
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.
3
Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings (Lecture Notes in Computer Science) (2015)
EN NW FE EB DLISBN: 9783319221021 bzw. 3319221027, in Englisch, 469 Seiten, Springer, neu, Erstausgabe, E-Book, elektronischer Download.
Lieferung aus: Deutschland, E-Book zum Download, Versandkostenfrei.
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.
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.
4
Interactive Theorem Proving (2015)
DE NWISBN: 9783319221021 bzw. 3319221027, in Deutsch, neu.
Lieferung aus: Vereinigtes Königreich Großbritannien und Nordirland, Versandkostenfrei.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
5
Interactive Theorem Proving. 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings (2015)
DE PB NWISBN: 9783319221014 bzw. 3319221019, in Deutsch, Springer, Taschenbuch, neu.
Von Händler/Antiquariat, Herb Tandree Philosophy Books [17426], Stroud, GLOS, United Kingdom.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
6
Interactive Theorem Proving (2015)
DE PB NWISBN: 9783319221014 bzw. 3319221019, in Deutsch, Springer-Verlag GmbH, Taschenbuch, neu.
Lieferung aus: Deutschland, Versandkostenfrei.
Sparbuchladen, [3602074].
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Sparbuchladen, [3602074].
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
7
Interactive Theorem Proving (2015)
DE PB NWISBN: 9783319221014 bzw. 3319221019, in Deutsch, Springer-Verlag Gmbh Aug 2015, Taschenbuch, neu.
Von Händler/Antiquariat, Rheinberg-Buch [53870650], Bergisch Gladbach, Germany.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
8
Interactive Theorem Proving (2015)
DE PB NWISBN: 9783319221014 bzw. 3319221019, in Deutsch, Springer-Verlag Gmbh Aug 2015, Taschenbuch, neu.
Von Händler/Antiquariat, sparbuchladen [52968077], Göttingen, Germany.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
9
Interactive Theorem Proving als eBook von (2015)
DE NWISBN: 9783319221021 bzw. 3319221027, in Deutsch, Springer International Publishing, neu.
Lieferung aus: Vereinigtes Königreich Großbritannien und Nordirland, Versandkostenfrei.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
10
Interactive Theorem Proving: 6th International Conference, Itp 2015, Nanjing, China, August 24-27, 2015, Proceedings (2015)
DE PB NWISBN: 9783319221014 bzw. 3319221019, in Deutsch, Springer Verlag, Taschenbuch, neu.
Von Händler/Antiquariat, Revaluation Books [2134736], Exeter, United Kingdom.
9.25x6.10 inches. In Stock.
9.25x6.10 inches. In Stock.
Lade…