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
Big bigCover of Formal Techniques for Safety-Critical Systems

More books from Springer International Publishing

bigCover of the book Preventing Abuse and Neglect in the Lives of Children with Disabilities by
bigCover of the book The 1772–73 British Credit Crisis by
bigCover of the book Impact-Activated Solidification of Cornstarch and Water Suspensions by
bigCover of the book Uncertainty and Sensitivity Analysis in Archaeological Computational Modeling by
bigCover of the book Advances in Ergonomics in Design by
bigCover of the book Mathematical Analysis of Complex Cellular Activity by
bigCover of the book Sexual Selection in Homo sapiens by
bigCover of the book Key Factors of Combustion by
bigCover of the book Taming the Wild Grape by
bigCover of the book Computer Vision – ECCV 2018 by
bigCover of the book Multidimensional Queueing Models in Telecommunication Networks by
bigCover of the book The Paradox of Citizenship in American Politics by
bigCover of the book Progress in Botany 77 by
bigCover of the book Urban Governance and Informal Settlements by
bigCover of the book Interactive Collaborative Robotics 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