Raamatud Marco Bernardo
A Process Algebraic Approach to Software Architecture Design
Flavio Corradini, Alessandro Aldini, Marco Bernardo
-25% koodiga BOOKS
Meie tarnija laos
A Process Algebraic Approach to Software Architecture Design
Marco Bernardo, Flavio Corradini, Alessandro Aldini
-25% koodiga BOOKS
Meie tarnija laos
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% koodiga BOOKS
Meie tarnija laos
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% koodiga BOOKS
Meie tarnija laos
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% koodiga BOOKS
Meie tarnija laos
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% koodiga BOOKS
Meie tarnija laos