Formal Modeling and Analysis of Timed Systems

14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings

Nonfiction, Computers, Advanced Computing, Theory, General Computing, Programming

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 Shortest Path Solvers. From Software to Wetware by

bigCover of the book Information and Communication Technologies in Education, Research, and Industrial Applications by

bigCover of the book The Nurse Practitioner in Urology by

bigCover of the book Integration of Reusable Systems by

bigCover of the book Predictive Maintenance in Dynamic Systems by

bigCover of the book Thermal Energy Storage with Phase Change Materials by

bigCover of the book Pharmacological Treatment of Chronic Stable Angina Pectoris by

bigCover of the book The Human Being, the World and God by

bigCover of the book Climate Change, Energy Use, and Sustainability by

bigCover of the book Structural Differentiation in Social Media by

bigCover of the book Transferring Human Impedance Regulation Skills to Robots by

bigCover of the book Haploidentical Transplantation by

bigCover of the book Cardiovascular System, Red Blood Cells, and Oxygen Transport in Microgravity by

bigCover of the book Frontiers in Pen and Touch 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