Explore the latest books of this year!

About us
Career
Contact

Search for a book, author or category...

Fiction

Nonfiction

For the Youngest
- Fairytales
- Accordion Books
For Younger Children
For Older Readers
For Young Adults

Other Categories

Foreign Language Books

Who do you want to give a book to?
Take our advice!
- Bestselling Books
- Books made into movies

All books
Matthias Mutz
Book order

Matthias Mutz Book order

Formale Beschreibung und automatisierte Verifikation von sequentiellem Hardwareverhalten auf der Basis von Logik höherer Ordnung

GI-ITG-GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen

Author's work Book order (chronological)

1999
GI-ITG-GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen

Buy and sell books in one place

We've added 28,413 books in the last 24 hours. That's as tall as 21 Towers of London.

Continue browsing books

Books

Bestselling Books
Watchdog
Sell books
Buy used books

Purchase

Complaint

Bookbot

About us
Career
Blog

Do you have a question?

info@bookbot.com
+49 78 195 633 044
WhatsAppEvery day from 8 AM to 8 PM (CET)
available in English, German and Czech

Secure payment is provided by

Fast delivery is provided by

Terms and Conditions of Purchase
Terms and Conditions of Sale
Privacy Policy
Code of Ethics

CZ
SK
AT
DE
ES
IT
NL
FR
BE