Here, what we could find on your book search:

Dirk W. Hoffmann

If you are not able to find that specific book from the book comparison result below, try to refine your search keyword. Like, search for Book title and author together. For best results type in the books ISBN (ISBN 10 or ISBN 13).

Limits of Mathematics

Limits of Mathematics

Dirk W. Hoffmann

Check Price (7 deals)
Theorem Proving in Higher Order Logics

Theorem Proving in Higher Order Logics

Yves Bertot, Gilles Dowek, Andre Hirschowitz, Christine Paulin and Laurent Thery

Check Price (6 deals)
Gödel's Incompleteness Theorems

Gödel's Incompleteness Theorems

Dirk W. Hoffmann

Check Price (7 deals)
Correct Hardware Design and Verification Methods

Correct Hardware Design and Verification Methods

Laurence Pierre and Thomas Kropf

Check Price (1 deals)
A Framework for Automated HW/SW Co-Verification of SystemC Designs Using Timed Automata

A Framework for Automated HW/SW Co-Verification of SystemC Designs Using Timed Automata

Paula Herber

Check Price (9 deals)
Prinzipien in der Philosophie

Prinzipien in der Philosophie

Reinhard Gobrecht

Check Price (5 deals)
Grundgesetze und Methoden der Logik

Grundgesetze und Methoden der Logik

Reinhard Gobrecht

Check Price (3 deals)
International Conference on Computer Design (ICCD '99)

International Conference on Computer Design (ICCD '99)

IEEE Computer Society

Check Price (4 deals)
Theoretische Informatik

Theoretische Informatik

Dirk W. Hoffmann

Check Price (3 deals)
Grenzen der Mathematik

Grenzen der Mathematik

Dirk W. Hoffmann

Check Price (2 deals)

BOOKS THAT SPEAKS TO YOU

Try Amazon Audible today for FREE. Cancel anytime

First Audiobook Free