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 Observation of CP Violation in B± → DK± Decays by

bigCover of the book Software Business by

bigCover of the book Customer Value Generation in Banking by

bigCover of the book Evolution of the Vertebrate Ear by

bigCover of the book Learning How to Teach Mathematical Modeling in School and Teacher Education by

bigCover of the book Climate Change, Ocean Acidification and Sponges by

bigCover of the book Canonical Instabilities of Autonomous Vehicle Systems by

bigCover of the book Advances in Lithium Isotope Geochemistry by

bigCover of the book Heuristic Search by

bigCover of the book Computing and Philosophy by

bigCover of the book Rethinking Taxation in Latin America by

bigCover of the book Multimedia Services in Intelligent Environments by

bigCover of the book Innovative Approaches and Solutions in Advanced Intelligent Systems by

bigCover of the book Ceramic Materials from Coffee Bagasse Ash Waste by

bigCover of the book The Hypothalamic-Pituitary-Adrenal Axis in Health and Disease 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