Showing 1 - 3 of 3 Results
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