For Publishers
All
Subject
Title
Author
Publisher
Series Title
All
Subject
Title
Author
Publisher
Series Title
Nicolas Halbwachs
Nicolas Halbwachs is the author of "Synchronous Programming of Reactive Systems", "Tools and Algorithms for the Construction and Analysis of Systems" and "Computer Aided Verification".
Books by Nicolas Halbwachs
View more
Computer Aided Ve...
Halbwachs Nicolas
Paperback:
Computer Aided Ve...
Halbwachs Nicolas
Electronic book text:
$139.00
Synchronous Progr...
Halbwachs, Nicolas
Hardback:
Tools and Algorit...
Halbwachs Nicolas
Electronic book text:
$169.00