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...
Uloženo v:
Hlavní autor: | |
---|---|
Další autoři: | |
Korporace: | |
Médium: | E-kniha |
Jazyk: | angličtina |
Vydáno: |
Cham :
Springer International Publishing :
2014
|
Žánr/forma: | elektronické knihy |
ISBN: | 9783319105420 |
On-line přístup: | Plný text |
Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo otaguje tento záznam!
|