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 Regularity Theory for Mean-Field Game Systems by

bigCover of the book Geometric Methods in PDE’s by

bigCover of the book Geospatial Technologies for Local and Regional Development by

bigCover of the book Foot and Ankle Trauma Injuries by

bigCover of the book Winning at Litigation through Decision Analysis by

bigCover of the book Dynamical Systems on 2- and 3-Manifolds by

bigCover of the book Classifying the Cosmos by

bigCover of the book Workforce Inter-Personnel Diversity by

bigCover of the book Wireless Mobile Communication and Healthcare by

bigCover of the book Gun Violence Prevention? by

bigCover of the book Scientific Computing by

bigCover of the book Taxonomy Matching Using Background Knowledge by

bigCover of the book Mathematics Teachers Engaging with Representations of Practice by

bigCover of the book Intervention Effectiveness Research: Quality Improvement and Program Evaluation by

bigCover of the book Media and Food Industries 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