Suchergebnisse für ""Nicolas Halbwachs""
5 Artikel gefunden
Suchfilter
Cover Synchronous Programming of Reactive Systems
Nicolas Halbwachs 
Synchronous Programming of Reactive …
Broschiertes Buch

39,99 €
Cover Synchronous Programming of Reactive Systems
Nicolas Halbwachs 
Synchronous Programming of Reactive …
Gebundenes Buch

39,99 €
Cover Tools and Algorithms for the Construction and Analysis of Systems
Nicolas Halbwachs / …
Tools and Algorithms for the …
Broschiertes Buch

77,99 €
Cover Computer Aided Verification
Nicolas Halbwachs / …
Computer Aided Verification
Broschiertes Buch

39,99 €
Cover Synchronous Programming of Reactive Systems (eBook, PDF)
Nicolas Halbwachs 
Synchronous Programming of Reactive …
eBook, PDF

40,95 €

Ähnliche Artikel

Cover 4th Refinement Workshop
 
4th Refinement Workshop
Broschiertes Buch

39,99 €
Cover Programming and Mathematical Method
 
Programming and Mathematical Method
Broschiertes Buch

77,99 €
Cover The Temporal Logic of Reactive and Concurrent Systems
Zohar Manna, Amir …
The Temporal Logic of Reactive and …
Broschiertes Buch

39,99 €
Cover The Temporal Logic of Reactive and Concurrent Systems
Zohar Manna, Amir …
The Temporal Logic of Reactive and …
Gebundenes Buch

84,99 €
Cover Theory and Formal Methods 1993
 
Theory and Formal Methods 1993
Broschiertes Buch

39,99 €
Cover First-Order Programming Theories
Tamas Gergely, …
First-Order Programming Theories
Gebundenes Buch

77,99 €
Cover Synchronization in Real-Time Systems
Ragunathan …
Synchronization in Real-Time Systems
Gebundenes Buch

77,99 €
Cover The Programming and Proof System ATES
 
The Programming and Proof System ATES
Broschiertes Buch

77,99 €
Cover Deadline Scheduling for Real-Time Systems
John A. Stankovic, …
Deadline Scheduling for Real-Time Systems
Broschiertes Buch

113,99 €


Ähnlichkeitssuche: Fact®Finder von OMIKRON

Filter