Home > Authors > Frédéric Lang > Formal Methods for Industrial Critical Systems

Buy at: Bookshop.org Amazon

Formal Methods for Industrial Critical Systems

Frédéric Lang, Francesco Flammini

Recent activity

Rate this book to see your activity here.

6 Books Similar to Formal Methods for Industrial Critical Systems by Frédéric Lang

Bookscovery readers who liked Formal Methods for Industrial Critical Systems also like Assessing COVID-19 and Other Pandemics and Epidemics Using Computational Modelling and Data Analysis, Blockchain Technology for Smart Grids and Computer Science Engineering. How many of these have you read?

Assessing COVID-19 and Other Pandemics and Epidemics Using Computational Modelling and Data Analysis by Subhendu Kumar Pani

Cover of Assessing COVID-19 and Other Pandemics and Epidemics Using Computational Modelling and Data Analysis
Buy this book at:
Bookshop.org Amazon

Blockchain Technology for Smart Grids by H. L. Gururaj

Cover of Blockchain Technology for Smart Grids
Buy this book at:
Bookshop.org Amazon

Computer Science Engineering by Gururaj H L

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

Dependable Computing - EDCC 2020 Workshops by Simona Bernardi

Cover of Dependable Computing - EDCC 2020 Workshops
Buy this book at:
Bookshop.org Amazon

Effective Surveillance for Homeland Security by Francesco Flammini

Cover of Effective Surveillance for Homeland Security
Buy this book at:
Bookshop.org Amazon

Recent Trends in Computational Sciences by Gururaj H. L

Cover of Recent Trends in Computational Sciences
Buy this book at:
Bookshop.org Amazon

Comments and reviews of Formal Methods for Industrial Critical Systems

Please sign in to leave a comment