Clicky

Formal Methods for Dynamical Systems by Marco Bernardo and similar books you'll love - Bookscovery

Home > Authors > Marco Bernardo > Formal Methods for Dynamical Systems

Buy at: Bookshop.org Amazon

Formal Methods for Dynamical Systems

Marco Bernardo

This book presents 5 tutorial lectures given by leading researchers at the 13th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2013, held in Bertinoro, Italy, in June 2013. SFM 2013 was devoted to dynamical systems and covered several topics including chaotic dynamics; information theory; systems biology; hybrid systems; quantum computing; and automata-based models and model checking.

Recent activity

Rate this book to see your activity here.

18 Books Similar to Formal Methods for Dynamical Systems by Marco Bernardo

Bookscovery readers who liked Formal Methods for Dynamical Systems 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 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 Executable Software Models by Marco Bernardo

Cover of Formal Methods for Executable Software Models
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

Comments and reviews of Formal Methods for Dynamical Systems

Please sign in to leave a comment