Gerwin Klein – författare
Visar alla böcker från författaren Gerwin Klein. Handla med fri frakt och snabb leverans.
5 produkter
Interactive Theorem Proving
5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
Häftad, 2014
568 kr
Lägg i varukorg
This book constitutes the proceedings of the 5th International Conference on Interactive Theorem Proving, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014. The 35 papers presented in this volume were carefully reviewed and selected from 59 …
Interactive Theorem Proving
5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
E-bok, 2014
739 kr
Lägg i varukorg
This book constitutes the proceedings of the 5th International Conference on Interactive Theorem Proving, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014. The 35 papers presented in this volume were carefully reviewed and selected from 59 …
Concrete Semantics
With Isabelle/HOL
Av Tobias Nipkow, Gerwin Klein
Inbunden, 2014
904 kr
Lägg i varukorg
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 …
Concrete Semantics
With Isabelle/HOL
Av Gerwin Klein, Tobias Nipkow
E-bok, 2014
839 kr
Lägg i varukorg
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 …
Concrete Semantics
With Isabelle/HOL
Av Tobias Nipkow, Gerwin Klein
Häftad, 2016
646 kr
Lägg i varukorg
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 …
