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 Competence-based Vocational and Professional Education by
bigCover of the book Principles of Health Interoperability by
bigCover of the book The Public Economy in Crisis by
bigCover of the book Biology of Orthodontic Tooth Movement by
bigCover of the book Climate Change Impacts on Hydrological Processes and Sediment Dynamics: Measurement, Modelling and Management by
bigCover of the book Fire and Rescue Services by
bigCover of the book Cloud Computing and Big Data by
bigCover of the book Advances in Human Factors in Wearable Technologies and Game Design by
bigCover of the book Female Bodies and Sexuality in Iran and the Search for Defiance by
bigCover of the book Smart Modeling for Engineering Systems by
bigCover of the book Human-Computer Interaction - INTERACT 2017 by
bigCover of the book Classical and Quantum Cosmology by
bigCover of the book Greece in Early English Travel Writing, 1596–1682 by
bigCover of the book Spectral Theory and Quantum Mechanics by
bigCover of the book Biometric Recognition 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