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%: César A. Muñoz, Mauricio Ayala-Rincón: Interactive Theorem Proving (ISBN: 9783319661070) 2017, in Englisch, Taschenbuch.Nur diese Ausgabe anzeigen…
81%: Herausgeber: Mauricio Ayala-Rincón, Herausgeber: César A. Muñoz: Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings (Lecture Notes in Computer Science) (ISBN: 9783319661063) 2017, Erstausgabe, in Englisch.Nur diese Ausgabe anzeigen…
Interactive Theorem Proving - 10 Angebote vergleichen
| Preise | Okt. 17 | März 19 | Sep. 19 |
|---|---|---|---|
| Schnitt | € 77,34 | € 66,50 | € 59,43 |
| Nachfrage |
1
Symbolbild
Interactive Theorem Proving
DE HC NWISBN: 9783319661063 bzw. 331966106X, in Deutsch, Springer, Berlin; Springer International Publishing, gebundenes Buch, neu.
Lieferung aus: Deutschland, Versandkostenfrei innerhalb von Deutschland.
This book constitutes the refereed proceedings of the 7th International Conference on Interactive Theorem Proving, ITP 2016, held in Nancy, France, in August 2016. The 28 full papers, 2 rough diamond papers, and 3 invited talk papers presented were carefully reviewed and selected from 65 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematical theories. This book constitutes the refereed proceedings of the 7th International Conference on Interactive Theorem Proving, ITP 2016, held in Nancy, France, in August 2016. The 28 full papers, 2 rough diamond papers, and 3 invited talk papers presented were carefully reviewed and selected from 65 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematical theories. Lieferzeit 1-2 Werktage.
This book constitutes the refereed proceedings of the 7th International Conference on Interactive Theorem Proving, ITP 2016, held in Nancy, France, in August 2016. The 28 full papers, 2 rough diamond papers, and 3 invited talk papers presented were carefully reviewed and selected from 65 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematical theories. This book constitutes the refereed proceedings of the 7th International Conference on Interactive Theorem Proving, ITP 2016, held in Nancy, France, in August 2016. The 28 full papers, 2 rough diamond papers, and 3 invited talk papers presented were carefully reviewed and selected from 65 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematical theories. Lieferzeit 1-2 Werktage.
2
Symbolbild
Interactive Theorem Proving - 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings
DE PB NWISBN: 9783319661063 bzw. 331966106X, in Deutsch, Springer-Verlag Gmbh, Taschenbuch, neu.
Lieferung aus: Deutschland, Versandkostenfrei.
Interactive Theorem Proving: This book constitutes the refereed proceedings of the 7th International Conference on Interactive Theorem Proving, ITP 2016, held in Nancy, France, in August 2016. The 28 full papers, 2 rough diamond papers, and 3 invited talk papers presented were carefully reviewed and selected from 65 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematical theories. Englisch, Taschenbuch.
Interactive Theorem Proving: This book constitutes the refereed proceedings of the 7th International Conference on Interactive Theorem Proving, ITP 2016, held in Nancy, France, in August 2016. The 28 full papers, 2 rough diamond papers, and 3 invited talk papers presented were carefully reviewed and selected from 65 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematical theories. Englisch, Taschenbuch.
3
Interactive Theorem Proving (2017)
DE NW EB DLISBN: 9783319661070 bzw. 3319661078, in Deutsch, Springer Shop, neu, E-Book, elektronischer Download.
Lieferung aus: Japan, Lagernd, zzgl. Versandkosten.
This book constitutes the refereed proceedings of the 8th International Conference on Interactive Theorem Proving, ITP 2017, held in Brasilia, Brazil, in September 2017. The 28 full papers, 2 rough diamond papers, and 3 invited talk papers presented were carefully reviewed and selected from 65 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematical theories. eBook.
This book constitutes the refereed proceedings of the 8th International Conference on Interactive Theorem Proving, ITP 2017, held in Brasilia, Brazil, in September 2017. The 28 full papers, 2 rough diamond papers, and 3 invited talk papers presented were carefully reviewed and selected from 65 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematical theories. eBook.
4
Interactive Theorem Proving - 8th International Conference, ITP 2017, Brasilia, Brazil, September 26-29, 2017, Proceedings (2017)
DE NW EB DLISBN: 9783319661070 bzw. 3319661078, in Deutsch, Springer International Publishing, neu, E-Book, elektronischer Download.
Lieferung aus: Deutschland, Versandkostenfrei.
Interactive Theorem Proving: This book constitutes the refereed proceedings of the 8th International Conference on Interactive Theorem Proving, ITP 2017, held in Brasilia, Brazil, in September 2017. The 28 full papers, 2 rough diamond papers, and 3 invited talk papers presented were carefully reviewed and selected from 65 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematical theories. Englisch, Ebook.
Interactive Theorem Proving: This book constitutes the refereed proceedings of the 8th International Conference on Interactive Theorem Proving, ITP 2017, held in Brasilia, Brazil, in September 2017. The 28 full papers, 2 rough diamond papers, and 3 invited talk papers presented were carefully reviewed and selected from 65 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematical theories. Englisch, Ebook.
5
Interactive Theorem Proving (2017)
DE NW EB DLISBN: 9783319661070 bzw. 3319661078, in Deutsch, Springer, Springer, Springer, neu, E-Book, elektronischer Download.
Lieferung aus: Deutschland, in-stock.
This book constitutes the refereed proceedings of the 8th International Conference on Interactive Theorem Proving, ITP 2017, held in Brasilia, Brazil, in September 2017. The 28 full papers, 2 rough diamond papers, and 3 invited talk papers presented were carefully reviewed and selected from 65 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematical theories.
This book constitutes the refereed proceedings of the 8th International Conference on Interactive Theorem Proving, ITP 2017, held in Brasilia, Brazil, in September 2017. The 28 full papers, 2 rough diamond papers, and 3 invited talk papers presented were carefully reviewed and selected from 65 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematical theories.
6
Interactive Theorem Proving (2017)
EN NW EB DLISBN: 9783319661070 bzw. 3319661078, in Englisch, Springer, Springer, Springer, neu, E-Book, elektronischer Download.
Lieferung aus: Kanada, in-stock.
This book constitutes the refereed proceedings of the 8th International Conference on Interactive Theorem Proving, ITP 2017, held in Brasilia, Brazil, in September 2017.The 28 full papers, 2 rough diamond papers, and 3 invited talk papers.
This book constitutes the refereed proceedings of the 8th International Conference on Interactive Theorem Proving, ITP 2017, held in Brasilia, Brazil, in September 2017.The 28 full papers, 2 rough diamond papers, and 3 invited talk papers.
8
Interactive Theorem Proving (2017)
DE PB NWISBN: 9783319661070 bzw. 3319661078, in Deutsch, Taschenbuch, neu.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
9
Interactive Theorem Proving (2017)
DE NW EB DLISBN: 9783319661070 bzw. 3319661078, in Deutsch, neu, E-Book, elektronischer Download.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
10
Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings (Lecture Notes in Computer Science) (2017)
EN PB NW FEISBN: 9783319661063 bzw. 331966106X, in Englisch, 514 Seiten, Springer, Taschenbuch, neu, Erstausgabe.
Lieferung aus: Deutschland, Noch nicht erschienen. Versandkostenfrei.
Von Händler/Antiquariat, Amazon.de.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Von Händler/Antiquariat, Amazon.de.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Lade…