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 The Principles of Quantum Theory, From Planck's Quanta to the Higgs Boson by

bigCover of the book New Backpropagation Algorithm with Type-2 Fuzzy Weights for Neural Networks by

bigCover of the book An Introduction to the Theory of Piezoelectricity by

bigCover of the book Inflammatory Disorders of the Nervous System by

bigCover of the book Radiation Physics for Medical Physicists by

bigCover of the book The Origins and Nature of Scandinavian Central Banking by

bigCover of the book Accountability and Security in the Cloud by

bigCover of the book Modern Topics in the Phototrophic Prokaryotes by

bigCover of the book Dynamics On and Of Complex Networks III by

bigCover of the book Edmund Burke as Historian by

bigCover of the book Compatibility of Transactional Resolutions of Antitrust Proceedings with Due Process and Fundamental Rights & Online Exhaustion of IP Rights by

bigCover of the book A Brain for Business – A Brain for Life by

bigCover of the book Aquifer Test Solutions by

bigCover of the book Advances in Human Factors in Robots and Unmanned Systems 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