Formal Techniques for Safety-Critical Systems

Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. 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 A First Introduction to the Finite Element Analysis Program MSC Marc/Mentat by

bigCover of the book High-Performance Big-Data Analytics by

bigCover of the book The Value of Popular Music by

bigCover of the book Political Phenomenology by

bigCover of the book Transactions on Computational Collective Intelligence XXX by

bigCover of the book How to Do Science with Models by

bigCover of the book Italian Regionalism: Between Unitary Traditions and Federal Processes by

bigCover of the book Modelling-based Teaching in Science Education by

bigCover of the book Geometric Science of Information by

bigCover of the book Operations Research Proceedings 2016 by

bigCover of the book Embedded and Real-Time Operating Systems by

bigCover of the book Mental Disorders in Ancient Philosophy by

bigCover of the book Privacy, Data Protection and Cybersecurity in Europe by

bigCover of the book Dual-Mode Electro-photonic Silicon Biosensors by

bigCover of the book Fetal and Hybrid Procedures in Congenital Heart Diseases 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