Interactive Theorem Proving
| ISBN: | 9783642140518 |
|---|---|
| Sprache: | Englisch |
| Seitenzahl: | 495 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Kaufmann, Matt Paulson, Lawrence C. |
| Verlag: | Springer Berlin |
| Veröffentlicht: | 30.06.2010 |
| Untertitel: | First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings |
| Schlagworte: | ARM processor compiler optimizations computational geometry consistency checking cryptographic proofs declarative proofs formal verification inductive proof interactive theorem proving kleene algebras |