Christoph Weidenbach - Böcker

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

Frontiers of Combining Systems

Av René Thiemann, Christoph Weidenbach

Häftad, Engelska, 2025

699 kr

Skickas inom 5-8 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 7-10 vardagar
Andrei Voronkov, Christoph Weidenbach - Programming Logics, Häftad

Programming Logics

Av Andrei Voronkov, Christoph Weidenbach

Häftad, Engelska, 2013

739 kr

Skickas inom 7-10 vardagar