Formal Modeling and Analysis of Timed Systems

16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings

Nonfiction, Science & Nature, Mathematics, Logic, Computers, 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 Handbook of Distributed Generation by

bigCover of the book Smart Growth Entrepreneurs by

bigCover of the book Molecular Therapies of Cancer by

bigCover of the book Cardiac Sarcoidosis by

bigCover of the book Parallel Genetic Algorithms for Financial Pattern Discovery Using GPUs by

bigCover of the book The New Coastal History by

bigCover of the book Creators of Mathematical and Computational Sciences by

bigCover of the book Russia's Border Wars and Frozen Conflicts by

bigCover of the book Trends in Control and Decision-Making for Human–Robot Collaboration Systems by

bigCover of the book Quantum Computing:An Environment for Intelligent Large Scale Real Application by

bigCover of the book Political Marketing in the 2016 U.S. Presidential Election by

bigCover of the book HCI International 2018 – Posters' Extended Abstracts by

bigCover of the book Alzheimer’s Turning Point 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