Formal Techniques for Safety-Critical Systems

4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. 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 Nostalgia, Loss and Creativity in South-East Europe by

bigCover of the book The 'Sailor Prince' in the Age of Empire by

bigCover of the book Reversible Logic Synthesis Methodologies with Application to Quantum Computing by

bigCover of the book Communication Technologies for Vehicles by

bigCover of the book Sanskrit Astronomical Tables by

bigCover of the book Tourism, Culture and Heritage in a Smart Economy by

bigCover of the book Adult Education in Neoliberal Times by

bigCover of the book Augmented Marked Graphs by

bigCover of the book Forging Connections between Computational Mathematics and Computational Geometry by

bigCover of the book Losing Political Office by

bigCover of the book Controlled Substance Management in Chronic Pain by

bigCover of the book Researching Chinese English: the State of the Art by

bigCover of the book A Course in Classical Physics 4 - Waves and Light by

bigCover of the book Advances in Ergonomics in Design by

bigCover of the book Medicinal Plants of Northern Thailand for the Treatment of Cognitive Impairment in the Elderly 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