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
Karsten Strehl

Karsten Strehl Books

Symbolic methods applied to formal verification and synthesis in embedded systems design

Author's work Book order (chronological)

Symbolic methods applied to formal verification and synthesis in embedded systems design
158 pages
6 hours of reading

Buy and sell books in one place

We've added 28,101 books in the last 24 hours. That's as tall as 20.8 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