Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings (Theoretical Computer Science and General Issues, Band 9807) - Softcover

 
9783319431437: Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings (Theoretical Computer Science and General Issues, Band 9807)
Softcover
ISBN 10: 3319431439 ISBN 13: 9783319431437
Verlag: Springer, 2016

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2016
Sprache
Englisch
ISBN 10 
3319431439
ISBN 13 
9783319431437
Einband
Taschenbuch
Auflage
1
Anzahl der Seiten
520
Herausgeber
Blanchette Jasmin Christian, Merz Stephan
Kontakt zum Hersteller
ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Deutschland

Weitere beliebte Ausgaben desselben Titels

9783319431451: Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings

Vorgestellte Ausgabe

ISBN 10:  3319431455 ISBN 13:  9783319431451
Verlag: Springer, 2016
Softcover