Critical Systems: Formal Methods and Automated Verification

Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, 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 Leonid Isaakovich Mandelstam by

bigCover of the book The Perioperative Medicine Consult Handbook by

bigCover of the book Corneal Transplantation by

bigCover of the book The Free Exercise of Religion in America by

bigCover of the book Indebtedness in Early Adulthood by

bigCover of the book Model-Driven Engineering and Software Development by

bigCover of the book Smart Cities in the Mediterranean by

bigCover of the book Standard EEG: A Research Roadmap for Neuropsychiatry by

bigCover of the book The Human Dimensions of Forest and Tree Health by

bigCover of the book Guide to Clinical Management of Idiopathic Pulmonary Fibrosis by

bigCover of the book Spain in British Romanticism by

bigCover of the book Young People's Perspectives on End-of-Life by

bigCover of the book Nutrition Support for the Critically Ill by

bigCover of the book Formulating Principal-Agent Service Contracts for a Revenue Generating Unit by

bigCover of the book Thermal Effects in Complex Machining Processes 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