Übersicht			Auf mobile öffnen

Lieferstatus:	Auf Bestellung (Lieferzeit unbekannt)
Veröffentlichung:	Juli 2013
Genre:	EDV / Informatik
	Algorithm Analysis and Problem Complexity / Algorithms / Algorithms & data structures / Artificial Intelligence / C / Computer architecture & logic design / Computer logic / Computer programming / software engineering / computer science / Computer security / Data and Information Security / Logics and Meanings of Programs / Mathematical logic / Mathematical Logic and Formal Languages / Mathematical Logic and Foundations / Network Security / Software Engineering / Systems and Data Security / Theory of Computation mehr...
ISBN:	9783642396335
EAN-Code:	9783642396335
Verlag:	Springer EN
Einband:	Kartoniert
Sprache:	English
Serie:	#7998 - Lecture Notes in Computer Science Theoretical Computer Science and General Issues
Dimensionen:	H 235 mm / B 155 mm / D
Gewicht:	777 gr
Seiten:	498
Illustration:	XII, 498 p. 73 illus., schwarz-weiss Illustrationen
Zus. Info:	EUDR exemption - product or manufacturing materials placed on the market prior to 31.12.2025.
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

This book constitutes the refereed proceedings of the 4th International Conference on Interactive Theorem Proving, ITP 2013, held in Rennes, France, in July 2013. The 26 regular full papers presented together with 7 rough diamond papers, 3 invited talks, and 2 invited tutorials were carefully reviewed and selected from 66 submissions. The papers are organized in topical sections such as program verfication, security, formalization of mathematics and theorem prover development.