Showing 1 - 2 of 2 Results
1.
Formal Modeling and Analysis of Timed Systems : 10th International Conference, FORMATS 2012,... by Jurdzinski, Marcin, Nickovi... ISBN: 9783642333644 List Price: $72.00
2.
Contracts for System Design by Benveniste, Albert, Caillau... ISBN: 9781680834024 List Price: $99.00