Clicky

Formal Methods for Executable Software Models by Marco Bernardo and similar books you'll love - Bookscovery

Home > Authors > Marco Bernardo > Formal Methods for Executable Software Models

Buy at: Bookshop.org Amazon

Formal Methods for Executable Software Models

Marco Bernardo, Ferruccio Damiani, Reiner Haehnle, Einar Broch Johnsen, Ina Schaefer

Recent activity

Rate this book to see your activity here.

21 Books Similar to Formal Methods for Executable Software Models by Marco Bernardo

Bookscovery readers who liked Formal Methods for Executable Software Models also like Computer Performance Engineering, Formal Methods for Computational Systems Biology and Formal Methods for Dynamical Systems. How many of these have you read?

Computer Performance Engineering by Alessandro Aldini

Cover of Computer Performance Engineering
Buy this book at:
Bookshop.org Amazon

Formal Methods for Computational Systems Biology by Marco Bernardo

Cover of Formal Methods for Computational Systems Biology
Buy this book at:
Bookshop.org Amazon

Formal Methods for Dynamical Systems by Marco Bernardo

Cover of Formal Methods for Dynamical Systems
Buy this book at:
Bookshop.org Amazon

Formal Methods for Dynamical Systems by Marco Bernardo

Cover of Formal Methods for Dynamical Systems
Buy this book at:
Bookshop.org Amazon

Formal Methods for Eternal Networked Software Systems by Marco Bernardo

Cover of Formal Methods for Eternal Networked Software Systems
Buy this book at:
Bookshop.org Amazon

Formal Methods for Hardware Verification by Marco Bernardo

Cover of Formal Methods for Hardware Verification
Buy this book at:
Bookshop.org Amazon

Formal Methods for Mobile Computing by Marco Bernardo

Cover of Formal Methods for Mobile Computing
Buy this book at:
Bookshop.org Amazon

Formal Methods for Model-Driven Engineering by Marco Bernardo

Cover of Formal Methods for Model-Driven Engineering
Buy this book at:
Bookshop.org Amazon

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 Lectures by Marco Bernardo

Cover of 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 Lectures
Buy this book at:
Bookshop.org Amazon

Formal Methods for Multicore Programming by Marco Bernardo

Cover of Formal Methods for Multicore Programming
Buy this book at:
Bookshop.org Amazon

Formal Methods for Performance Evaluation by Marco Bernardo

Cover of Formal Methods for Performance Evaluation
Buy this book at:
Bookshop.org Amazon

Formal Methods for Quantitative Aspects of Programming Languages by Alessandro Aldini

Cover of Formal Methods for Quantitative Aspects of Programming Languages
Buy this book at:
Bookshop.org Amazon

Formal methods for software architectures by Marco Bernardo

Cover of Formal methods for software architectures
Buy this book at:
Bookshop.org Amazon

Formal Methods for Software Architectures : Third International School on Formal Methods for the Design of Computer, Communication and Software Systems by Marco Bernardo

Cover of Formal Methods for Software Architectures : Third International School on Formal Methods for the Design of Computer, Communication and Software Systems
Buy this book at:
Bookshop.org Amazon

Formal Methods for the Design of Real-Time Systems by Marco Bernardo

Cover of Formal Methods for the Design of Real-Time Systems
Buy this book at:
Bookshop.org Amazon

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems by Marco Bernardo

Cover of Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
Buy this book at:
Bookshop.org Amazon

Formal Methods for Web Services by Marco Bernardo

Cover of Formal Methods for Web Services
Buy this book at:
Bookshop.org Amazon

Probabilistic Trace and Testing Semantics by Marco Bernardo

Cover of Probabilistic Trace and Testing Semantics
Buy this book at:
Bookshop.org Amazon

Formal Methods for Multicore Programming by Marco Bernardo

Cover of Formal Methods for Multicore Programming
Buy this book at:
Bookshop.org Amazon

Logic of Software. a Tasting Menu of Formal Methods by Wolfgang Ahrendt

Cover of Logic of Software. a Tasting Menu of Formal Methods
Buy this book at:
Bookshop.org Amazon

Service-Oriented and Cloud Computing by Flavio De Paoli

Cover of Service-Oriented and Cloud Computing
Buy this book at:
Bookshop.org Amazon

Comments and reviews of Formal Methods for Executable Software Models

Please sign in to leave a comment