Formal Techniques for Safety-Critical Systems

Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. 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 Database Systems for Advanced Applications by

bigCover of the book Artificial Intelligence for Knowledge Management by

bigCover of the book New Business and Regulatory Strategies in the Postal Sector by

bigCover of the book Optimization of Type-2 Fuzzy Controllers Using the Bee Colony Algorithm by

bigCover of the book Knowledge Graphs and Language Technology by

bigCover of the book Crisis Management in Acute Care Settings by

bigCover of the book Lectures on Several Complex Variables by

bigCover of the book Integrated Reporting by

bigCover of the book The Sociology of Shari’a: Case Studies from around the World by

bigCover of the book Local Government Budget Stabilization by

bigCover of the book Nematode Pathogenesis of Insects and Other Pests by

bigCover of the book Electrical Power Engineering by

bigCover of the book Francis Bacon on Motion and Power 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