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