1.
Formal Methods for Computational Systems Biology: 8th International School on Formal Methods...
by Bernardo, Marco, Degano, Pi...
ISBN: 9783540688921
List Price: $89.95
2.
Formal Methods for Quantitative Aspects of Programming Languages : 10th International School...
by Aldini, Alessandro, Bernard...
ISBN: 9783642136771
List Price: $72.00
3.
Computer Performance Engineering : 7th European Performance Engineering Workshop, EPEW 2010,...
by Aldini, Alessandro, Bernard...
ISBN: 9783642157837
List Price: $72.00
4.
Formal Methods for Model-Driven Engineering : 12th International School on Formal Health for...
by Bernardo, Marco, Cortelless...
ISBN: 9783642309816
List Price: $89.95
5.
Formal Methods for Software Architectures Third International School on Formal Methods for t...
by Bernardo, Marco, Inverardi,...
ISBN: 9783540200833
List Price: $74.95
6.
Formal Methods for Hardware Verification
by Bernardo, Marco, Cimatti, A...
ISBN: 9783540343042
List Price: $69.95
7.
Formal Methods for Web Services: 9th International School on Formal Methods for the Design o...
by Bernardo, Marco, Padovani, ...
ISBN: 9783642019173
List Price: $69.95
8.
A Process Algebraic Approach to Software Architecture Design
by Aldini, Alessandro, Bernard...
ISBN: 9781848002227
List Price: $89.95
9.
Formal Methods for the Design of Real - Time Systems International School On Formal Methods ...
by Bernardo, Marco, Corradini,...
ISBN: 9783540230687
List Price: $69.95
10.
Formal Methods for Mobile Computing 5th International School on Formal Methods for the Desig...
by Bernardo, Marco, Bogliolo, ...
ISBN: 9783540256977
List Price: $84.95
11.
Formal Methods for Eternal Networked Software Systems: 11th International School on Formal M...
by Bernardo, Marco, Issarny, V...
ISBN: 9783642214547
List Price: $107.00
12.
Formal Methods for Multicore Programming : 15th International School on Formal Methods for t...
by Bernardo, Marco, Johnsen, E...
ISBN: 9783319189406
List Price: $72.00
13.
Latin America on the Move: The Post Neo-Liberal Transition
by Cristina Fernandez de Kirch...
ISBN: 9789879393529
OUT OF STOCK
See Availability on Amazon14.
Formal Methods for Executable Software Models : 14th International School on Formal Methods ...
by Bernardo, Marco, Damiani, F...
ISBN: 9783319073187
List Price: $24.99
OUT OF STOCK
See Availability on Amazon15.
Formal Methods for Software Architectures
by Bernardo, Marco, Inverardi,...
ISBN: 9783662178928
List Price: $24.99
OUT OF STOCK
See Availability on Amazon16.
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems: 16th Internat...
by Bernardo, Marco, De Nicola,...
ISBN: 9783319340951
List Price: $82.00
17.
Formal Methods for the Design of Real-Time Systems
by Bernardo, Marco, Corradini,...
ISBN: 9783662182994
List Price: $24.99
OUT OF STOCK
See Availability on Amazon18.
Probabilistic Trace and Testing Semantics : The Importance of Being Coherent
by Bernardo, Marco
ISBN: 9781638280743
List Price: $75.00