Von dem Buch Interactive Theorem Proving 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%: Gerwin Klein; Ruben Gamboa: Interactive Theorem Proving (ISBN: 9783319089706) 2014, in Deutsch, Taschenbuch.Nur diese Ausgabe anzeigen…
100%: Klein, Gerwin (Edited by)/ Gamboa, Ruben (Edited by): Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings (ISBN: 9783319089690) 2014, in Englisch, Taschenbuch.Nur diese Ausgabe anzeigen…
Interactive Theorem Proving - 11 Angebote vergleichen
| Preise | 2016 | 2017 | 2019 | 2023 |
|---|---|---|---|---|
| Schnitt | Fr. 62.38 (€ 63.79)¹ | Fr. 62.38 (€ 63.79)¹ | Fr. 54.60 (€ 55.83)¹ | Fr. 41.84 (€ 42.79)¹ |
| Nachfrage |
1
Symbolbild
Interactive Theorem Proving (2014)
DE PB NW RPISBN: 9783319089690 bzw. 3319089692, in Deutsch, Springer Aug 2014, Taschenbuch, neu, Nachdruck.
Von Händler/Antiquariat, AHA-BUCH GmbH [51283250], Einbeck, Germany.
This item is printed on demand - Print on Demand Titel. Neuware - This book constitutes the proceedings of the 5th International Conference on Interactive Theorem Proving, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014. The 35 papers presented in this volume were carefully reviewed and selected from 59 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematics. 555 pp. Englisch.
This item is printed on demand - Print on Demand Titel. Neuware - This book constitutes the proceedings of the 5th International Conference on Interactive Theorem Proving, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014. The 35 papers presented in this volume were carefully reviewed and selected from 59 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematics. 555 pp. Englisch.
2
Interactive Theorem Proving
DE NWISBN: 9783319089690 bzw. 3319089692, in Deutsch, neu.
5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings Lecture Notes in Computer Science. 2014. Auflage, 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings Lecture Notes in Computer Science. 2014. Auflage.
3
Symbolbild
Interactive Theorem Proving: 5th International Conference, Itp 2014, Held as Part of the Vienna Summer of Logic, Vsl 2014, Vienna, Austria, July 14-17, 2014, Proceedings
DE PB NWISBN: 9783319089690 bzw. 3319089692, in Deutsch, Springer International Publishing AG, Taschenbuch, neu.
Von Händler/Antiquariat, THE SAINT BOOKSTORE [51194787], Southport, United Kingdom.
BRAND NEW PRINT ON DEMAND., Interactive Theorem Proving: 5th International Conference, Itp 2014, Held as Part of the Vienna Summer of Logic, Vsl 2014, Vienna, Austria, July 14-17, 2014, Proceedings, Gerwin Klein, Ruben Gamboa, This book constitutes the proceedings of the 5th International Conference on Interactive Theorem Proving, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014. The 35 papers presented in this volume were carefully reviewed and selected from 59 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematics.
BRAND NEW PRINT ON DEMAND., Interactive Theorem Proving: 5th International Conference, Itp 2014, Held as Part of the Vienna Summer of Logic, Vsl 2014, Vienna, Austria, July 14-17, 2014, Proceedings, Gerwin Klein, Ruben Gamboa, This book constitutes the proceedings of the 5th International Conference on Interactive Theorem Proving, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014. The 35 papers presented in this volume were carefully reviewed and selected from 59 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematics.
4
Interactive Theorem Proving (2014)
~EN PB NWISBN: 9783319089690 bzw. 3319089692, vermutlich in Englisch, Springer Nature, Taschenbuch, neu.
Lieferung aus: Deutschland, Lagernd, zzgl. Versandkosten.
This book constitutes the proceedings of the 5th International Conference on Interactive Theorem Proving, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014. The 35 papers presented in this volume were carefully reviewed and selected from 59 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematics. Soft cover.
This book constitutes the proceedings of the 5th International Conference on Interactive Theorem Proving, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014. The 35 papers presented in this volume were carefully reviewed and selected from 59 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematics. Soft cover.
5
Interactive Theorem Proving (2014)
DE PB NWISBN: 9783319089690 bzw. 3319089692, in Deutsch, Springer, Taschenbuch, neu.
Lieferung aus: Deutschland, Versandkostenfrei.
buchZ AG, [3859792].
Neuware - This book constitutes the proceedings of the 5th International Conference on Interactive Theorem Proving, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014. The 35 papers presented in this volume were carefully reviewed and selected from 59 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematics. Taschenbuch.
buchZ AG, [3859792].
Neuware - This book constitutes the proceedings of the 5th International Conference on Interactive Theorem Proving, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014. The 35 papers presented in this volume were carefully reviewed and selected from 59 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematics. Taschenbuch.
6
Interactive Theorem Proving (2014)
DE PB NWISBN: 9783319089706 bzw. 3319089706, in Deutsch, Springer International Publishing, Taschenbuch, neu.
Interactive Theorem Proving ab 74.99 € als pdf eBook: 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings. Aus dem Bereich: eBooks, Sachthemen & Ratgeber, Computer & Internet,.
7
Interactive Theorem Proving (2014)
DE NW EB DLISBN: 9783319089706 bzw. 3319089706, in Deutsch, neu, E-Book, elektronischer Download.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
8
Interactive Theorem Proving (2014)
DE NW EB DLISBN: 9783319089706 bzw. 3319089706, in Deutsch, Springer Shop, neu, E-Book, elektronischer Download.
Lieferung aus: Deutschland, Lagernd.
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
DE NW EB DLISBN: 9783319089706 bzw. 3319089706, in Deutsch, neu, E-Book, elektronischer Download.
Lieferung aus: Deutschland, Versandkosten.
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
DE NWISBN: 9783319089690 bzw. 3319089692, in Deutsch, Springer Science+Business Media, neu.
Lieferung aus: Deutschland, Lagernd.
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
Lade…