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 Disability in the Global South by
bigCover of the book Non-equilibrium Energy Transformation Processes by
bigCover of the book Achieving Respiratory Health Equality by
bigCover of the book Computations with Modular Forms by
bigCover of the book Mathematical and Statistical Methods for Actuarial Sciences and Finance by
bigCover of the book New Perspectives on Internationalization and Competitiveness by
bigCover of the book Urban Planning for Healthy European Cities by
bigCover of the book Transnational, European, and National Labour Relations by
bigCover of the book Reconsidering National Plays in Europe by
bigCover of the book Sustained Simulation Performance 2014 by
bigCover of the book Bank Credit Extension and Real Economic Activity in South Africa by
bigCover of the book The Impact of eConveyancing on Title Registration by
bigCover of the book Design of Structural Elements with Tropical Hardwoods by
bigCover of the book Security and Trust Management by
bigCover of the book Analysis 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