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

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

Big bigCover of Formal Techniques for Safety-Critical Systems

More books from Springer International Publishing

bigCover of the book Computational Urban Planning and Management for Smart Cities by

bigCover of the book Applications of Computational Tools in Biosciences and Medical Engineering by

bigCover of the book Field and Service Robotics by

bigCover of the book Mobile Computing, Applications, and Services by

bigCover of the book Stochastic Flood Forecasting System by

bigCover of the book Excipient Applications in Formulation Design and Drug Delivery by

bigCover of the book Bio-Imaging and Visualization for Patient-Customized Simulations by

bigCover of the book Foundations for Innovative Application of Airborne Radars by

bigCover of the book Out-of-Equilibrium Physics of Correlated Electron Systems by

bigCover of the book Modern Organocatalyzed Methods in Carbohydrate Chemistry by

bigCover of the book Operational Law in International Straits and Current Maritime Security Challenges by

bigCover of the book Deep Experiencing by

bigCover of the book The Roles of Accelerated Pavement Testing in Pavement Sustainability by

bigCover of the book Allergy and Respiration 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