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
Herausgegeben:Klein, Gerwin; Gamboa, Ruben
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
Herausgegeben:Klein, Gerwin; Gamboa, Ruben
- Broschiertes Buch
- Merkliste
- Auf die Merkliste
- Bewerten Bewerten
- Teilen
- Produkt teilen
- Produkterinnerung
- Produkterinnerung
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.
- Correct System Design36,99 €
- NASA Formal Methods37,99 €
- Formal Methods for Industrial Critical Systems36,99 €
- Reliable Software Technologies ¿ Ada-Europe 201536,99 €
- Software Engineering and Formal Methods37,99 €
- Software Engineering and Formal Methods37,99 €
- Formal Methods for Industrial Critical Systems36,99 €
-
-
-
- Produktdetails
- Theoretical Computer Science and General Issues 8558
- Verlag: Springer / Springer International Publishing / Springer, Berlin
- Artikelnr. des Verlages: 978-3-319-08969-0
- 2014
- Seitenzahl: 580
- Erscheinungstermin: 1. August 2014
- Englisch
- Abmessung: 235mm x 155mm x 32mm
- Gewicht: 867g
- ISBN-13: 9783319089690
- ISBN-10: 3319089692
- Artikelnr.: 41075090
- Theoretical Computer Science and General Issues 8558
- Verlag: Springer / Springer International Publishing / Springer, Berlin
- Artikelnr. des Verlages: 978-3-319-08969-0
- 2014
- Seitenzahl: 580
- Erscheinungstermin: 1. August 2014
- Englisch
- Abmessung: 235mm x 155mm x 32mm
- Gewicht: 867g
- ISBN-13: 9783319089690
- ISBN-10: 3319089692
- Artikelnr.: 41075090