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 Inclusive Governance in South Asia by
bigCover of the book The Marketing Challenge for Industrial Companies by
bigCover of the book Foundations of Programming Languages by
bigCover of the book Labor in Culture, Or, Worker of the World(s) by
bigCover of the book Designing a Place Called Home by
bigCover of the book Statics and Rotational Dynamics of Composite Beams by
bigCover of the book Mechanics and Thermodynamics by
bigCover of the book Perspectives in Shape Analysis by
bigCover of the book Biomarkers of the Tumor Microenvironment by
bigCover of the book The Skadar/Shkodra Lake Environment by
bigCover of the book Critical Issues in Cross Cultural Management by
bigCover of the book Random Walks on Disordered Media and their Scaling Limits by
bigCover of the book Soil Erosion and Sediment Flux in Northern Jordan by
bigCover of the book Nanotechnology, Governance, and Knowledge Networks in the Global South by
bigCover of the book Legal Signs Fascinate 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