Formal Techniques for Safety-Critical Systems

6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers

Nonfiction, Computers, Programming, Software Development, General Computing

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

Big bigCover of Formal Techniques for Safety-Critical Systems

More books from Springer International Publishing

bigCover of the book LIFE - AS A MATTER OF FAT by

bigCover of the book A Cp-Theory Problem Book by

bigCover of the book Obsessive-Compulsive Symptoms in Schizophrenia by

bigCover of the book The Sources of Secularism by

bigCover of the book Tools of Transport Telematics by

bigCover of the book Report of the Workshop Predictive Theoretical, Computational and Experimental Approaches for Additive Manufacturing (WAM 2016) by

bigCover of the book Statistical Disclosure Control for Microdata by

bigCover of the book Airports, Cities, and the Jet Age by

bigCover of the book Coastal Wetlands: Alteration and Remediation by

bigCover of the book Computation, Cryptography, and Network Security by

bigCover of the book Nanoscale Sensors by

bigCover of the book Cloud Computing and Security by

bigCover of the book Reasoning Web. Semantic Interoperability on the Web by

bigCover of the book Comprehensive Guide to Neurosurgical Conditions by

bigCover of the book Finite Volumes for Complex Applications VIII - Methods and Theoretical Aspects 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