Chargement en cours…

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...

Description complète

Détails bibliographiques
Cote:	Libro Electrónico
Auteurs principaux:	Nipkow, Tobias (Auteur), Klein, Gerwin (Auteur)
Collectivité auteur:	SpringerLink (Online service)
Format:	Électronique eBook
Langue:	Inglés
Publié:	Cham : Springer International Publishing : Imprint: Springer, 2014.
Édition:	1st ed. 2014.
Sujets:	Computer science. Compilers (Computer programs). Machine theory. Computer Science Logic and Foundations of Programming. Compilers and Interpreters. Formal Languages and Automata Theory.
Accès en ligne:	Texto Completo

Documents similaires

Chargement en cours…

Formal Languages and Compilation
par: Crespi Reghizzi, Stefano
Publié: (2009)

Chargement en cours…

Logic and Program Semantics Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday /
Publié: (2012)

Chargement en cours…

Fundamentals of Algebraic Graph Transformation
par: Ehrig, Hartmut, et autres
Publié: (2006)

Chargement en cours…

Implementation and Applications of Automata 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008, Proceedings /
Publié: (2008)

Chargement en cours…

Automated Technology for Verification and Analysis 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings /
Publié: (2009)

Chargement en cours…

Structured Object-Oriented Formal Language and Method Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers /
Publié: (2014)

Chargement en cours…

Static Analysis 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings /
Publié: (2014)

Chargement en cours…

Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi /
Publié: (2014)

Chargement en cours…

Static Analysis 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings /
Publié: (2012)

Chargement en cours…

Static Analysis 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings /
Publié: (2015)

Chargement en cours…

Structured Object-Oriented Formal Language and Method 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers /
Publié: (2016)

Chargement en cours…

Structured Object-Oriented Formal Language and Method 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers /
Publié: (2015)

Chargement en cours…

Perspectives of System Informatics 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers /
Publié: (2016)

Chargement en cours…

Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers /
Publié: (2015)

Chargement en cours…

Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings /
Publié: (2014)

Chargement en cours…

From Programs to Systems - The Systems Perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings /
Publié: (2014)

Chargement en cours…

Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers /
Publié: (2013)

Chargement en cours…

Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings /
Publié: (2015)

Chargement en cours…

Foundations of Software Science and Computational Structures 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008, Proceedings /
Publié: (2008)

Chargement en cours…

Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings /
Publié: (2016)

Chargement en cours…

Foundations of Software Science and Computational Structures 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005 /
Publié: (2005)

Chargement en cours…

Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings /
Publié: (2016)

Chargement en cours…

Foundations of Software Science and Computational Structures 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006, Proceedings /
Publié: (2006)

Chargement en cours…

Theoretical Aspects of Computing - ICTAC 2012 9th International Colloquium, Bangalore, India, September 24-27, 2012, Proceedings /
Publié: (2012)

Chargement en cours…

Theoretical Aspects of Computing - ICTAC 2004 First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers /
Publié: (2005)

Chargement en cours…

Theoretical Aspects of Computing - ICTAC 2006 Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings /
Publié: (2006)

Chargement en cours…

Theoretical Aspects of Computing - ICTAC 2007 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings /
Publié: (2007)

Chargement en cours…

Unifying Theories of Programming 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers /
Publié: (2015)

Chargement en cours…

Model-Based Safety and Assessment 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014, Proceedings /
Publié: (2014)

Chargement en cours…

Theoretical Aspects of Computing - ICTAC 2005 Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings /
Publié: (2005)

Chargement en cours…

Semantics, Logics, and Calculi Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays /
Publié: (2016)

Chargement en cours…

Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings /
Publié: (2014)

Chargement en cours…

Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013, Proceedings /
Publié: (2013)

Chargement en cours…

Reachability Problems 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011, Proceedings /
Publié: (2011)

Chargement en cours…

Reachability Problems 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings /
Publié: (2012)

Chargement en cours…

Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky Essays Dedicted to Samson Abramsky on the Occasion of His 60th Birthday /
Publié: (2013)

Chargement en cours…

FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science 27th International Conference, New Delhi, India, December 12-14, 2007, Proceedings /
Publié: (2007)

Chargement en cours…

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings /
Publié: (2015)

Chargement en cours…

Static Analysis 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2012, Proceedings /
Publié: (2013)

Chargement en cours…

Implementation and Application of Functional Languages 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers /
Publié: (2011)

Cannot write session to /tmp/vufind_sessions/sess_a9u69n51uipdfnf67m3o40gjg9