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 Prehistoric Warfare and Violence by

bigCover of the book Translocal Childhoods and Family Mobility in East and North Europe by

bigCover of the book The Hypothalamic-Pituitary-Adrenal Axis in Health and Disease by

bigCover of the book Western Disturbances - An Indian Meteorological Perspective by

bigCover of the book Current Geotechnical Engineering Aspects of Civil Infrastructures by

bigCover of the book Discrete Dynamical Models by

bigCover of the book Cybersecurity for Industry 4.0 by

bigCover of the book Toward a Philosophy of the Documentarian by

bigCover of the book Approximation and Online Algorithms by

bigCover of the book Women and ‘Value’ in Jane Austen’s Novels by

bigCover of the book Simplified Theory of Plastic Zones by

bigCover of the book Stochastic Processes, Multiscale Modeling, and Numerical Methods for Computational Cellular Biology by

bigCover of the book Challenges of Latino Aging in the Americas by

bigCover of the book Analysis of Images, Social Networks and Texts by

bigCover of the book Bioinformatics for Evolutionary Biologists 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