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 Computer-Assisted Musculoskeletal Surgery by

bigCover of the book Feed-in Tariffs and the Economics of Renewable Energy by

bigCover of the book The Labour Party, Denis Healey and the International Socialist Movement by

bigCover of the book Revision Total Knee Arthroplasty by

bigCover of the book Theoretical and Empirical Studies on Cooperatives by

bigCover of the book Gender on Wall Street by

bigCover of the book Teaching and Researching the Pronunciation of English by

bigCover of the book From Particle Systems to Partial Differential Equations II by

bigCover of the book Using Design Research and History to Tackle a Fundamental Problem with School Algebra by

bigCover of the book FinTech in Germany by

bigCover of the book Globalization and Health Inequities in Latin America by

bigCover of the book Smart Grid Inspired Future Technologies by

bigCover of the book Statistical Atlases and Computational Models of the Heart. ACDC and MMWHS Challenges by

bigCover of the book Computational Diffusion MRI by

bigCover of the book Conquering Digital Overload 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