Critical Systems: Formal Methods and Automated Verification

Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings

Nonfiction, Computers, Programming, Programming Languages, General Computing

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

Big bigCover of Critical Systems: Formal Methods and Automated Verification

More books from Springer International Publishing

bigCover of the book Green, Pervasive, and Cloud Computing by

bigCover of the book Integer Programming and Combinatorial Optimization by

bigCover of the book Agent and Multi-Agent Systems: Technology and Applications by

bigCover of the book Rainbows in Channeling of Charged Particles in Crystals and Nanotubes by

bigCover of the book Relativistic Geodesy by

bigCover of the book Chromosomal Translocations and Genome Rearrangements in Cancer by

bigCover of the book Precision Medicine, CRISPR, and Genome Engineering by

bigCover of the book Acoustics and Vibration of Mechanical Structures—AVMS-2017 by

bigCover of the book Abdominal Sepsis by

bigCover of the book Natural Language Processing and Information Systems by

bigCover of the book Technological Aspects of Manufacturing and Numerical Modelling of Clinch-Adhesive Joints by

bigCover of the book Countering 21st Century Social-Environmental Threats to Growing Global Populations by

bigCover of the book Transnational Evidence and Multicultural Inquiries in Europe by

bigCover of the book Trends in Cerebrovascular Surgery by

bigCover of the book Bioethical Decision Making and Argumentation by

We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy