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 Criminology of Homicidal Poisoning by

bigCover of the book Essentials of Stochastic Processes by

bigCover of the book Nanotechnology-Based Precision Tools for the Detection and Treatment of Cancer by

bigCover of the book Recent Advances in Technology Research and Education by

bigCover of the book Societies in Transition by

bigCover of the book Writing the Victorian Constitution by

bigCover of the book Design of Experiments for Reinforcement Learning by

bigCover of the book Controversies in Thyroid Surgery by

bigCover of the book Information Technology and Systems by

bigCover of the book X-Ray Lasers 2014 by

bigCover of the book Agents and Multi-Agent Systems: Technologies and Applications 2018 by

bigCover of the book Cloud Computing and Security by

bigCover of the book Data Mining and Big Data by

bigCover of the book Biophotoelectrochemistry: From Bioelectrochemistry to Biophotovoltaics 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