Gerwin Klein – författare

Visar alla böcker från författaren Gerwin Klein. Handla med fri frakt och snabb leverans.

3 produkter

Kategorier

3 produkter

Del 8558

Del 8558 - Lecture Notes in Computer Science

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, Engelska, 2014

719 kr

Skickas inom 10-15 vardagar

With Isabelle/HOL

Inbunden, Engelska, 2014

1 149 kr

Skickas inom 10-15 vardagar

With Isabelle/HOL

Häftad, Engelska, 2016

819 kr

Skickas inom 10-15 vardagar

Akademibokhandeln