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 Commodities Pricing and the Bulk Trap by

bigCover of the book Mathematics for Nonlinear Phenomena — Analysis and Computation by

bigCover of the book Integration, Interconnection, and Interoperability of IoT Systems by

bigCover of the book Augmenting Health and Social Care Students’ Clinical Learning Experiences by

bigCover of the book Climate Change and Air Pollution by

bigCover of the book New Technologies, Development and Application by

bigCover of the book Origin and Formation of Coastal Boulder Deposits at Galway Bay and the Aran Islands, Western Ireland by

bigCover of the book Contemporary Operations and Logistics by

bigCover of the book Cloud-Based Cyber-Physical Systems in Manufacturing by

bigCover of the book The Development of Elementary Quantum Theory by

bigCover of the book Women in Peacemaking and Peacebuilding in Northern Uganda by

bigCover of the book Advanced Research in Nanosciences for Water Technology by

bigCover of the book Nonparametric Bayesian Inference in Biostatistics by

bigCover of the book Search for Sterile Neutrinos with the MINOS Long-Baseline Experiment by

bigCover of the book Dynamic Wireless Sensor Networks 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