Kirjat Marco Bernardo
A Process Algebraic Approach to Software Architecture Design
Flavio Corradini, Alessandro Aldini, Marco Bernardo
-25% koodilla BOOKS
Toimittajalla varastossa
A Process Algebraic Approach to Software Architecture Design
Marco Bernardo, Flavio Corradini, Alessandro Aldini
-25% koodilla BOOKS
Toimittajalla varastossa
Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures
Marco Bernardo, Alessandro Cimatti
-25% koodilla BOOKS
Toimittajalla varastossa
Formal Methods for Web Services 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures
Marco Bernardo, Luca Padovani, Gianluigi Zavattaro
-25% koodilla BOOKS
Toimittajalla varastossa
Computer Performance Engineering 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010, Proceedings
Alessandro Aldini, Marco Bernardo, Luciano Bononi, Vittorio Cortellessa
-25% koodilla BOOKS
Toimittajalla varastossa
Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21, 2010, Advanced Lectures
Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky
-25% koodilla BOOKS
Toimittajalla varastossa