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 Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management. Human Body and Motion by

bigCover of the book Entrepreneurial, Innovative and Sustainable Ecosystems by

bigCover of the book An Unamendable Constitution? by

bigCover of the book Biomedical Engineering and Computational Intelligence by

bigCover of the book Double Enumeration of Legislative Powers in a Sub-State Context by

bigCover of the book The Vegetation of the Iberian Peninsula by

bigCover of the book Computer Algebra in Scientific Computing by

bigCover of the book Differentiation of Enantiomers I by

bigCover of the book Goldbach’s Problem by

bigCover of the book Practical Manual of Quality Function Deployment by

bigCover of the book Fully Nonlinear PDEs in Real and Complex Geometry and Optics by

bigCover of the book Semiotics of Animals in Culture by

bigCover of the book Optimization of Structures and Components by

bigCover of the book Pediatric Forensic Evidence by

bigCover of the book Thermal Transport in Oblique Finned Micro/Minichannels 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