La Croce di Bernardo Daddi del Museo Poldi PezzoliBernardo Daddi, Marco Ciatti · First published 2005Open the Tome
Formal Methods for the Quantitative Evaluation of Collective Adaptive SystemsMarco Bernardo, Rocco De Nicola, Jane Hillston · First published 2016Open the Tome
Formal Methods for Multicore ProgrammingMarco Bernardo, Einar Broch Johnsen · First published 2015Open the Tome
Formal Methods For Modeldriven Engineering 12th International School On Formal Methods For The Design Of Computer Communication And Software Systems Sfm 2012 Bertinoro Italy June 1823 2012 Advanced LecturesMarco Bernardo · First published 2012Open the Tome
Formal Methods for Eternal Networked Software SystemsMarco Bernardo · First published 2011Open the Tome
Formal Methods for Mobile ComputingMarco Bernardo,Alessandro Bogliolo · First published 2008Open the Tome
Formal Methods for Performance EvaluationMarco Bernardo, Jane Hillston · First published 2007Open the Tome
Formal Methods for Hardware VerificationMarco Bernardo, Alessandro Cimatti · First published 2006Open the Tome
Formal Methods for Mobile ComputingMarco Bernardo, Alessandro Bogliolo · First published 2005Open the Tome
Formal Methods for the Design of Real-Time SystemsMarco Bernardo, Flavio Corradini · First published 2004Open the Tome
Formal methods for software architecturesMarco Bernardo, Paola Inverardi · First published 2003Open the Tome
