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 Change Management and the Human Factor by

bigCover of the book On-Surface Synthesis II by

bigCover of the book Green IT Engineering: Components, Networks and Systems Implementation by

bigCover of the book Mycorrhiza - Function, Diversity, State of the Art by

bigCover of the book Stabilization and Regulation of Nonlinear Systems by

bigCover of the book Human-Computer Interaction. Interaction in Context by

bigCover of the book Coviability of Social and Ecological Systems: Reconnecting Mankind to the Biosphere in an Era of Global Change by

bigCover of the book The Dynamics of Corporate Social Responsibility by

bigCover of the book Engaged Leadership by

bigCover of the book MultiMedia Modeling by

bigCover of the book Machine Learning and Data Mining in Pattern Recognition by

bigCover of the book Behaviour of Lithium-Ion Batteries in Electric Vehicles by

bigCover of the book Augmented Marked Graphs by

bigCover of the book Computational Intelligence by

bigCover of the book Rolling Circle Amplification (RCA) 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