Concrete Semantics With Isabelle/HOL /
Part I of this book is a practical introduction to working with the Isabelle proof assistant. It teaches you how to write functional programs and inductive definitions and how to prove properties about them in Isabelle's structured proof language. Part II is an introduction to the semantics of...
Clasificación: | Libro Electrónico |
---|---|
Autores principales: | Nipkow, Tobias (Autor), Klein, Gerwin (Autor) |
Autor Corporativo: | SpringerLink (Online service) |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Cham :
Springer International Publishing : Imprint: Springer,
2014.
|
Edición: | 1st ed. 2014. |
Temas: | |
Acceso en línea: | Texto Completo |
Ejemplares similares
-
Formal Languages and Compilation
por: Crespi Reghizzi, Stefano
Publicado: (2009) -
Logic and Program Semantics Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday /
Publicado: (2012) -
Fundamentals of Algebraic Graph Transformation
por: Ehrig, Hartmut, et al.
Publicado: (2006) -
Implementation and Applications of Automata 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008, Proceedings /
Publicado: (2008) -
Automated Technology for Verification and Analysis 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings /
Publicado: (2009)