Formal Modeling and Analysis of Timed Systems

15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings

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 Modeling and Analysis of Timed Systems

More books from Springer International Publishing

bigCover of the book Dupuytren’s Contracture by

bigCover of the book Modern Real Analysis by

bigCover of the book Introduction to Optimization Analysis in Hydrosystem Engineering by

bigCover of the book Looking Back on President Barack Obama’s Legacy by

bigCover of the book Vector-Valued Partial Differential Equations and Applications by

bigCover of the book Historical Farmland in China During 1661-1980 by

bigCover of the book Dynamic Behavior of Materials, Volume 1 by

bigCover of the book Industry 4.0: Industrial Revolution of the 21st Century by

bigCover of the book A Holistic Approach to Ship Design by

bigCover of the book Smart STEM-Driven Computer Science Education by

bigCover of the book Managing More-than-Moore Integration Technology Development by

bigCover of the book Mechatronics 2017 by

bigCover of the book Sustainable Transportation Options for the 21st Century and Beyond by

bigCover of the book Engaging Adolescent Learners by

bigCover of the book AI 2017: Advances in Artificial Intelligence 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