1.
Formal Methods for the Design of Real - Time Systems International School On Formal Methods ...
by Bernardo, Marco, Corradini,...
ISBN: 9783540230687
List Price: $69.95
2.
A Process Algebraic Approach to Software Architecture Design
by Aldini, Alessandro, Bernard...
ISBN: 9781848002227
List Price: $89.95
3.
Formal Methods for the Design of Real-Time Systems
by Bernardo, Marco, Corradini,...
ISBN: 9783662182994
List Price: $24.99