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
Big bigCover of Formal Techniques for Safety-Critical Systems

More books from Springer International Publishing

bigCover of the book Intelligent Distributed Computing XI by
bigCover of the book The Online Self by
bigCover of the book Pulmonary Hypertension in Adult Congenital Heart Disease by
bigCover of the book Trump and Political Philosophy by
bigCover of the book Computational Collective Intelligence by
bigCover of the book Justice for Victims of Crime by
bigCover of the book What Is Computer Science? by
bigCover of the book The Antarctic Silverfish: a Keystone Species in a Changing Ecosystem by
bigCover of the book Multiscale Modeling and Uncertainty Quantification of Materials and Structures by
bigCover of the book Cartilage by
bigCover of the book Small Machine Tools for Small Workpieces by
bigCover of the book Issues of Gender and Sexual Orientation in Humanitarian Emergencies by
bigCover of the book Introduction to Logic Circuits & Logic Design with Verilog by
bigCover of the book Climate Change Fictions by
bigCover of the book Microalgae Biotechnology 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