Erschienen: 01.08.2014 Abbildung von Klein / Gamboa | Interactive Theorem Proving | 1. Auflage | 2014 | beck-shop.de

Klein / Gamboa

Interactive Theorem Proving

5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

lieferbar (3-5 Tage)

77,04 €

Preisangaben inkl. MwSt. Abhängig von der Lieferadresse kann die MwSt. an der Kasse variieren. Weitere Informationen

auch verfügbar als eBook (PDF) für 74.89 €

Buch. Softcover

2014

xxii, 555 S. 90 s/w-Abbildungen, Bibliographien.

In englischer Sprache

Springer. ISBN 978-3-319-08969-0

Format (B x L): 15,5 x 23,5 cm

Gewicht: 878 g

Produktbeschreibung

This book constitutes the proceedings of the 5th International Conference on Interactive Theorem Proving, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014. The 35 papers presented in this volume were carefully reviewed and selected from 59 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematics.

Top-Produkte dieser Kategorie

Unsere Empfehlungen für Sie

Ihre zuletzt angesehenen Produkte

Autoren

  • Rezensionen

    Dieses Set enthält folgende Produkte:
      Auch in folgendem Set erhältlich:
      • nach oben

        Ihre Daten werden geladen ...