Suchergebnisse für ""Jozef Hooman""
2 Artikel gefunden
Suchfilter
Cover Specification and Compositional Verification of Real-Time Systems
Jozef Hooman 
Specification and Compositional …
Broschiertes Buch

39,99 €
Cover Concurrency Verification
Willem-Paul de …
Concurrency Verification
Gebundenes Buch

251,99 €

Ähnliche Artikel

Cover Formal Methods for Real-Time and Probabilistic Systems
Jost-Pieter Katoen …
Formal Methods for Real-Time and …
Broschiertes Buch

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

39,99 €
Cover Formal Techniques in Real-Time and Fault-Tolerant Systems
Vytopil 
Formal Techniques in Real-Time and …
Broschiertes Buch

77,99 €
Cover Formal Techniques in Real-Time and Fault-Tolerant Systems
Ravn 
Formal Techniques in Real-Time and …
Broschiertes Buch

39,99 €
Cover Algebraic Methodology and Software Technology
Johnson 
Algebraic Methodology and Software …
Broschiertes Buch

77,99 €
Cover Formal Techniques in Real-Time and Fault-Tolerant Systems
Langmaack 
Formal Techniques in Real-Time and …
Broschiertes Buch

77,99 €
Cover Formal Techniques in Real-Time and Fault-Tolerant Systems
Jonsson 
Formal Techniques in Real-Time and …
Broschiertes Buch

39,99 €
Cover Formal Methods and Hybrid Real-Time Systems
Cliff B. Jones …
Formal Methods and Hybrid Real-Time …
Broschiertes Buch

38,99 €
Cover Real-Time: Theory in Practice
J.W.de Bakker / C. …
Real-Time: Theory in Practice
Broschiertes Buch

77,99 €
Cover A Practical Theory of Reactive Systems
R. Kurki-Suonio 
A Practical Theory of Reactive Systems
Broschiertes Buch

38,99 €


Ähnlichkeitssuche: Fact®Finder von OMIKRON

Filter