Formal Techniques for Safety-Critical Systems

Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. 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 Surviving the 21st Century by

bigCover of the book Large-Scale Conservation in the Common Interest by

bigCover of the book Corporate Social Responsibility in Brazil by

bigCover of the book Cloud Computing and Security by

bigCover of the book Policy Entrepreneurs in Water Governance by

bigCover of the book Uncertainty Quantification in Computational Fluid Dynamics and Aircraft Engines by

bigCover of the book Recent Advances in Ensembles for Feature Selection by

bigCover of the book An Introduction to Soil Mechanics by

bigCover of the book Nonlinear Data Assimilation by

bigCover of the book Foreign Language Proficiency in Higher Education by

bigCover of the book Runtime Verification by

bigCover of the book Mathematical Analysis, Probability and Applications – Plenary Lectures by

bigCover of the book Value Creation in International Business by

bigCover of the book Medical Robotics by

bigCover of the book Asymptotic Expansion of a Partition Function Related to the Sinh-model 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