Formal Techniques for Safety-Critical Systems

5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, 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 Recent Advances in Geotechnical Research by
bigCover of the book Preventing the Proliferation of WMDs by
bigCover of the book The Alte Donau: Successful Restoration and Sustainable Management by
bigCover of the book Proceedings of the 11th European Conference on Thermoelectrics by
bigCover of the book Handbook of Consult and Inpatient Gynecology by
bigCover of the book Diverse Voices of Disabled Sexualities in the Global South by
bigCover of the book Designing Networks for Innovation and Improvisation by
bigCover of the book Design Science in Tourism by
bigCover of the book Transactions on Pattern Languages of Programming IV by
bigCover of the book Witnessing Torture by
bigCover of the book Sustainable Risk Management by
bigCover of the book Leadership in Islam by
bigCover of the book Public Opinion on Economic Globalization by
bigCover of the book My Search for Ramanujan by
bigCover of the book Chromatin Regulation of Early Embryonic Lineage Specification 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