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 Correlation Force Spectroscopy for Single Molecule Measurements by

bigCover of the book Natural Convection from Circular Cylinders by

bigCover of the book Pediatric and Adolescent Oncofertility by

bigCover of the book Non-medical and illicit use of psychoactive drugs by

bigCover of the book Business Model Innovation by

bigCover of the book Targeting Trafficking in Drug Development by

bigCover of the book Synthesis and Characterisation of Non-Fullerene Electron Acceptors for Organic Photovoltaics by

bigCover of the book Chemistry and Technology of Yoghurt Fermentation by

bigCover of the book Cancer Neurology in Clinical Practice by

bigCover of the book Evolutionary Computation Techniques: A Comparative Perspective by

bigCover of the book Finite Volumes for Complex Applications VII-Elliptic, Parabolic and Hyperbolic Problems by

bigCover of the book Exploring the Role of Strategic Intervention in Form-focused Instruction by

bigCover of the book Science Gateways for Distributed Computing Infrastructures by

bigCover of the book Multimodal Pattern Recognition of Social Signals in Human-Computer-Interaction 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