Filter
Sökt på: Sökresultat
Filter
1 träff
Concrete Semantics
häftad,
2016,
Engelska,
ISBN 9783319357591
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 …