Gerwin Klein – författare

Visar alla böcker från författaren Gerwin Klein.

3 produkter

1. 

   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

   Av Gerwin Klein, Ruben Gamboa

   Häftad, 2014

   729 kr

   Lägg i varukorg

2. 

   Concrete Semantics

   With Isabelle/HOL

   Av Tobias Nipkow, Gerwin Klein

   Inbunden, 2014

   1159 kr

   Lägg i varukorg

3. 

   Concrete Semantics

   With Isabelle/HOL

   Av Tobias Nipkow, Gerwin Klein

   Häftad, 2016

   829 kr

   Lägg i varukorg