Book CD Paperback Book
Show unavailable items

Releases by Marco Bernardo

Cover for Marco Bernardo · Probabilistic Trace and Testing Semantics (Book) (2022)

Probabilistic Trace and Testing ... (2022)

Cover for Marco Bernardo · O Pianeiro Chorao (CD) (2019)

O Pianeiro Chorao (2019)

Cover for Marco Bernardo · Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures - Lecture Notes in Computer Science (Paperback Book) [2015 edition] (2015)

Formal Methods for Multicore Pro... (2015)

Cover for Marco Bernardo · Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures - Lecture Notes in Computer Science (Paperback Book) [2014 edition] (2014)

Formal Methods for Executable So... (2014)

Cover for Marco Bernardo · Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures - Lecture Notes in Computer Science (Paperback Book) [2013 edition] (2013)

Formal Methods for Dynamical Sys... (2013)

Cover for Marco Bernardo · Formal Methods for Model-driven Engineering - Lecture Notes in Computer Science / Programming and Software Engineering (Paperback Book) (2012)

Formal Methods for Model-driven ... (2012)

Cover for Marco Bernardo · Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, Sfm 2011, Bertinoro, Italy, June 13-18, 2011 : Advanced Lectures - Lecture Notes in Computer (Paperback Book) (2011)

Formal Methods for Eternal Netwo... (2011)

Cover for Marco Bernardo · 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 - Lecture Notes in Computer Science / Programming an (Paperback Book) (2009)

Formal Methods for Web Services:... (2009)

Cover for Marco Bernardo · Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 - Lecture Notes in Computer Science (Paperback Book) [2008 edition] (2008)

Formal Methods for Computational... (2008)

Cover for Marco Bernardo · Formal Methods for Performance Evaluation: 7th 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 - Programming and Software Engineerin (Paperback Book) [2007 edition] (2007)

Formal Methods for Performance E... (2007)

Cover for Marco Bernardo · 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 - Lecture Notes in Computer Science (Paperback Book) [2006 edition] (2006)

Formal Methods for Hardware Veri... (2006)

Cover for Marco Bernardo · Formal Methods for Mobile Computing: 5th 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 - Lecture Notes in Computer Science (Paperback Book) [2005 edition] (2005)

Formal Methods for Mobile Comput... (2005)

Cover for Marco Bernardo · Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, Sfm 2003, Bertinoro, Italy, September 22-27, 2003, Advanced Lectures - Lecture (Paperback Book) (2003)

Formal Methods for Software Arch... (2003)