Um Studibuch in vollem Umfang nutzen zu können, empfehlen wir Dir Javascript in Deinem Browser zu aktiveren.

Klimaneutrales UnternehmenFaire PreiseSchneller & kostenloser Versand

Interactive Theorem Proving

Name: Interactive Theorem Proving
Author: Urban, Christian und Zhang, Xingyua

Urban, Christian und Zhang, Xingyua

74,99 €

inkl. MwSt. versandkostenfrei

Lieferzeit 1-3 Werktage

Kurzinformation

Sprache:

Englisch

ISBN:

3319221019

Verlag:

Springer-Verlag GmbH

Seitenzahl:

469

Auflage:

Erschienen:

2015-08-27

Dein Kauf tut Gutes! Mit diesem Kauf trägst Du zur Neupflanzung eines Baumes bei. Jeder Baum zählt! Green Tree

Gebrauchte Bücher kaufen

Information

Das Buch befindet sich in einem sehr guten, unbenutzten Zustand.

Information

Das Buch befindet sich in einem sehr guten, gelesenen Zustand. Die Seiten und der Einband sind intakt. Buchrücken/Ecken/Kanten können leichte Gebrauchsspuren aufweisen.

Information

Das Buch befindet sich in einem guten, gelesenen Zustand. Die Seiten und der Einband sind intakt. Buchrücken/Ecken/Kanten können Knicke/Gebrauchsspuren aufweisen.

Information

Das Buch befindet sich in einem lesbaren Zustand. Die Seiten und der Einband sind intakt, jedoch weisen Buchrücken/Ecken/Kanten starke Knicke/Gebrauchsspuren auf. Zusatzmaterialien können fehlen.

Neues Buch oder eBook (pdf) kaufen

Neu 74,99 €

Information

Neuware - verlagsfrische aktuelle Buchausgabe.

Klimaneutral

Faire Preise

Schnelle & einfache Abwicklung

74,99 €

inkl. MwSt. versandkostenfrei

Lieferzeit 1-3 Werktage

74,99 €

inkl. MwSt. versandkostenfrei

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