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 Italian Regionalism: Between Unitary Traditions and Federal Processes by
bigCover of the book New Perspectives on the Bank-Firm Relationship by
bigCover of the book Random Walks on Reductive Groups by
bigCover of the book Contextualizing Systems Biology by
bigCover of the book Text Linguistics and Classical Studies by
bigCover of the book Securitization: Past, Present and Future by
bigCover of the book MRI of the Female and Male Pelvis by
bigCover of the book Policy Design in the European Union by
bigCover of the book Pervasive Computing Paradigms for Mental Health by
bigCover of the book Protein Targeting Compounds by
bigCover of the book From Science to Startup by
bigCover of the book Time Delay Systems by
bigCover of the book On the Economic Significance of the Catholic Social Doctrine by
bigCover of the book Topics in Modal Analysis & Testing, Volume 8 by
bigCover of the book Challenging Islamic Orthodoxy 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