Formal Techniques for Safety-Critical Systems

5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, 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 Measuring Youth Well-being by
bigCover of the book Energy Efficiency Clauses in Charter Party Agreements by
bigCover of the book Molecular Determinants of Head and Neck Cancer by
bigCover of the book Business Models and ICT Technologies for the Fashion Supply Chain by
bigCover of the book Convection in Porous Media by
bigCover of the book Rhetorical Audience Studies and Reception of Rhetoric by
bigCover of the book Coleridge and the Romantic Newspaper by
bigCover of the book Active Plasmonic Devices by
bigCover of the book Knowledge Production in Organizations by
bigCover of the book Rural Sustainability by
bigCover of the book Image and Video Technology by
bigCover of the book Kierkegaard, MacIntyre, Williams, and the Internal Point of View by
bigCover of the book Granular Dynamics, Contact Mechanics and Particle System Simulations by
bigCover of the book Intelligent Computer Mathematics by
bigCover of the book A Student's Guide Through the Great Physics Texts 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