|  |
| |
| Artikel-Nr.:
858A-9783319089690 Herst.-Nr.:
9783319089690 EAN/GTIN:
9783319089690 |
| |
|
| | |
| 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. Weitere Informationen: | | Author: | Gerwin Klein; Ruben Gamboa | Verlag: | Springer International Publishing | Sprache: | eng |
|
| | |
| | | |
| Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, embedded systems, formal methods, functional languages, network protocols, program verification, real-time systems, rewriting, theorem proving and SAT solving, turing machine, virtual machines, algorithm analysis and problem complexity |
| | |
| |