Marco Bernardo

Identifiers

Open LibraryOL7203982A

Top Subjects

Computer science (3)
Software engineering (3)
Telecommunication systems (1)
Integrated circuits (1)
Information systems (1)
Programming Languages, Compilers, Interpreters (1)
Mathematical Logic and Formal Languages (1)

Books by Marco Bernardo

Total count: 16

Formal Methods for the Design of Real-Time SystemsInternational School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures

Springer London, Limited2004-01-01
Formal Methods for Mobile Computing5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures

Springer London, Limited2005-01-01
Formal Methods for Hardware Verification6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures

Springer London, Limited2006-01-01
Formal Methods for Performance Evaluation7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 8-June 2, 2007, Advanced Lectures

Springer London, Limited2007-01-01
Formal Methods for Computational Systems Biology8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7 2008

Springer London, Limited2008-01-01
Formal Methods for Web Services9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures

Springer London, Limited2009-01-01
Formal Methods for Quantitative Aspects of Programming Languages10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21, 2010, Advanced Lectures

Springer London, Limited2010-01-01
Computer Performance Engineering7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010, Proceedings

Springer London, Limited2010-01-01
Process Algebraic Approach to Software Architecture Design

Springer2010-01-01
Formal Methods for Eternal Networked Software Systems11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures

Springer Berlin Heidelberg2011-01-01
Formal Methods for Model-Driven Engineering12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures

Springer Berlin Heidelberg2012-01-01
Formal Methods for Dynamical Systems13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures

Springer Berlin Heidelberg2013-01-01
Formal Methods for Executable Software Models14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

Springer London, Limited2014-01-01
Formal Methods for Multicore Programming15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures

Springer London, Limited2015-01-01
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures

Springer International Publishing AG2016-01-01
Probabilistic Trace and Testing SemanticsThe Importance of Being Coherent

Now Publishers2022-01-01