Gerwin Klein - Böcker

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

3 produkter

Kategorier

3 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

Av Gerwin Klein, Ruben Gamboa

Häftad, Engelska, 2014

729 kr

Skickas inom 10-15 vardagar

Concrete Semantics

With Isabelle/HOL

Av Tobias Nipkow, Gerwin Klein

Inbunden, Engelska, 2014

1 099 kr

Skickas inom 10-15 vardagar

Concrete Semantics

With Isabelle/HOL

Av Tobias Nipkow, Gerwin Klein

Häftad, Engelska, 2016

729 kr

Skickas inom 10-15 vardagar