Knygos pagal Marco Bernardo
A Process Algebraic Approach to Software Architecture Design
Flavio Corradini, Alessandro Aldini, Marco Bernardo
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
A Process Algebraic Approach to Software Architecture Design
Marco Bernardo, Flavio Corradini, Alessandro Aldini
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
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% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
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% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
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% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
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% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją