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 |
Schlagwörter
Algorithmen und Datenstrukturen, Algorithms, Artificial Intelligence, Computer Science Logic and Foundations of Programming, Computersicherheit, Data and Information Security, Formal Languages and Automata Theory, Künstliche Intelligenz, Netzwerksicherheit, Software Engineering, Theoretische Informatik
Herstellerinformationen
Bekannt durch
