Here, what we could find on your book search:

Henk Schepers

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).

Formal Techniques in Real-Time and Fault-Tolerant Systems

Formal Techniques in Real-Time and Fault-Tolerant Systems

Jan Vytopil

Check Price (9 deals)
Embedded Computer Systems: Architectures, Modeling, and Simulation

Embedded Computer Systems: Architectures, Modeling, and Simulation

Stamatis Vassiliadis, Mladen Berekovic and Timo D. Hämäläinen

Check Price (4 deals)
Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Tiziana Margaria

Check Price (3 deals)
FME '93: Industrial-Strength Formal Methods

FME '93: Industrial-Strength Formal Methods

Jim Woodcock, James C.P. Woodcock and Peter G. Larsen

Check Price (9 deals)
PARLE '93 Parallel Architectures and Languages Europe

PARLE '93 Parallel Architectures and Languages Europe

Arndt Bode and Mike Reeve

Check Price (8 deals)
Responsive Computing

Responsive Computing

Miroslaw Malek

Check Price (1 deals)
Dependable Computing for Critical Applications 4

Dependable Computing for Critical Applications 4

Flaviu Cristian, Gerard LeLann and Teresa Lunt

Check Price (7 deals)
The IEEE Computer Society's 12th Annual International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems (MASCOTS 2004)

The IEEE Computer Society's 12th Annual International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems (MASCOTS 2004)

Check Price (3 deals)

BOOKS. STORIES. TALK SHOWS. LIFE LESSONS.

Try Amazon Audible today for FREE. Cancel anytime

Start for free now