✍️ 🧑‍🦱 💚 Autor:innen verdienen bei uns doppelt. Dank euch haben sie so schon 367.705 € mehr verdient. → Mehr erfahren 💪 📚 🙏

Interactive Theorem Proving

Interactive Theorem Proving

Softcover - 9783319221014
53,49 €
  • Versandkostenfrei
Auf meine Merkliste
  • Hinweis: Print on Demand. Lieferbar in 2 Tagen.
  • Lieferzeit nach Versand: ca. 1-2 Tage
  • inkl. MwSt. & Versandkosten (innerhalb Deutschlands)

Autorenfreundlich Bücher kaufen?!

Beschreibung

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.

6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings

Details

Verlag Springer International Publishing
Ersterscheinung 27. August 2015
Maße 23.5 cm x 15.5 cm
Gewicht 727 Gramm
Format Softcover
ISBN-13 9783319221014
Auflage 1st ed. 2015
Seiten 469

Herstellerinformationen +