First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings
Omschrijving
Constitutes the proceedings of the First International Conference on Interactive Theorem proving, ITP 2010, held in Edinburgh, UK, in July 2010. This title features the papers that are organized in topics such as counterexample generation, hybrid system verification, translations from one formalism to another, and cooperation between tools.
Ik heb een vraag over het boek:
‘Interactive Theorem Proving - Matt Kaufmann, Lawrence C. Paulson’.
Vul het onderstaande formulier in.
We zullen zo spoedig mogelijk antwoorden.
