Christoph Weidenbach - Böcker

Visar alla böcker från författaren Christoph Weidenbach.
3 produkter
René Thiemann, Christoph Weidenbach, Rene Thiemann, Christoph Thiemann, René - Frontiers of Combining Systems, Häftad

Frontiers of Combining Systems

Av René Thiemann, Christoph Weidenbach, Rene Thiemann, Christoph Thiemann, René

Häftad, Engelska, 2025

639 kr

Skickas inom 7-10 vardagar
Stéphane Demri, Deepak Kapur, Christoph Weidenbach, Stephane Demri - Automated Reasoning, Häftad

Automated Reasoning

Av Stéphane Demri, Deepak Kapur, Christoph Weidenbach, Stephane Demri

Häftad, Engelska, 2014

719 kr

Skickas inom 10-15 vardagar
Andrei Voronkov, Christoph Weidenbach - Programming Logics, Häftad

Programming Logics

Av Andrei Voronkov, Christoph Weidenbach

Häftad, Engelska, 2013

739 kr

Skickas inom 10-15 vardagar