Zurück
Vor

Interactive Theorem Proving
Kurzinformation
Sprache:
Englisch
ISBN:
3319221019
Verlag:
Seitenzahl:
469
Auflage:
-
Erschienen:
2015-08-27



inkl. MwSt. Versandinformationen
Artikel zZt. nicht lieferbar
Artikel zZt. nicht lieferbar
Weitere Zahlungsmöglichkeiten

Beschreibung
Interactive Theorem Proving
6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
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. von Urban, Christian und Zhang, Xingyua
Produktdetails
Einband:
Kartoniert
Seitenzahl:
469
Erschienen:
2015-08-27
Sprache:
Englisch
EAN:
9783319221014
ISBN:
3319221019
Verlag:
Gewicht:
727 g
Auflage:
-

Alle gebrauchten Bücher werden von uns handgeprüft.
So garantieren wir Dir zu jeder Zeit Premiumqualität.
So garantieren wir Dir zu jeder Zeit Premiumqualität.
Über den Autor
Neu
53,49 €
Entdecke mehr zum Thema
frontend/listing/product-box/box-product-slider.tpl
-89%
- Hardcover
- 300 Seiten
- Erschienen 1971
- Springer
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Scarpellini, Bruno
4,87 €
42,75 €
frontend/listing/product-box/box-product-slider.tpl
-90%
frontend/listing/product-box/box-product-slider.tpl
-89%
- Hardcover
- 504 Seiten
- Erschienen 1973
- Springer
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Troelstra, Anne S.
7,92 €
69,54 €
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-76%
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-97%
frontend/listing/product-box/box-product-slider.tpl
-86%
- paperback
- 268 Seiten
- Erschienen 2014
- Routledge
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Detlefsen, Michael
9,70 €
70,19 €
frontend/listing/product-box/box-product-slider.tpl
-95%
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-93%
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-88%
- Taschenbuch
- 242 Seiten
- Erschienen 2008
- Dover Pubn Inc
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Moschovakis, Yiannis N
1,75 €
15,00 €
frontend/listing/product-box/box-product-slider.tpl
-45%
frontend/listing/product-box/box-product-slider.tpl
-82%
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-41%
- paperback -
- Erschienen 2003
- De Gruyter Oldenbourg
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Newman, James R.
59,32 €
99,95 €
frontend/listing/product-box/box-product-slider.tpl
-94%
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-89%
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-89%
- Hardcover
- 388 Seiten
- Erschienen 1993
- Springer
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Fritzson, Peter A.
5,69 €
53,49 €
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-94%
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-98%
- Hardcover
- 264 Seiten
- World Scientific Publishing...
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Ramesh, S.;Shyamasundar, R K;
2,47 €
121,50 €
frontend/listing/product-box/box-product-slider.tpl
-96%
frontend/listing/product-box/box-product-slider.tpl
-64%