Willkommen, schön sind Sie da!
Logo Ex Libris

Interactive Theorem Proving

  • Kartonierter Einband
  • 520 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
This book constitutes the refereed proceedings of the 7th International Conference on Interactive Theorem Proving, ITP 2016, held ... Weiterlesen
CHF 107.00
Print on Demand - Auslieferung erfolgt in der Regel innert 4 bis 6 Wochen.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

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 27 full papers and 5 short papers presented were carefully reviewed and selected from 55 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematical theories.

Includes supplementary material: sn.pub/extras



Zusammenfassung
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 27 full papers and 5 short papers presented were carefully reviewed and selected from 55 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematical theories.

Produktinformationen

Titel: Interactive Theorem Proving
Untertitel: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings
Editor:
EAN: 9783319431437
ISBN: 3319431439
Format: Kartonierter Einband
Herausgeber: Springer International Publishing
Genre: Informatik
Anzahl Seiten: 520
Gewicht: 779g
Größe: H235mm x B155mm x T27mm
Jahr: 2016
Untertitel: Englisch
Auflage: 1st ed. 2016

Weitere Produkte aus der Reihe "Lecture Notes in Computer Science"