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 The ACP Group and the EU Development Partnership by

bigCover of the book Temporal Patterns of Communication in Social Networks by

bigCover of the book Scientific Peer Reviewing by

bigCover of the book Bioluminescence: Fundamentals and Applications in Biotechnology - Volume 3 by

bigCover of the book Computational Science and Its Applications – ICCSA 2018 by

bigCover of the book Safety Assessment of Composite Cylinders for Gas Storage by Statistical Methods by

bigCover of the book Fire and Rescue Services by

bigCover of the book Biology of the Fungal Cell by

bigCover of the book Roman Law and the Origins of the Civil Law Tradition by

bigCover of the book Information Security and Privacy by

bigCover of the book Organizing for Digital Innovation by

bigCover of the book Women in STEM Disciplines by

bigCover of the book Obesity, Type 2 Diabetes and the Adipose Organ by

bigCover of the book Solid-State-Drives (SSDs) Modeling 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