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 Interpretation of Basic and Advanced Urodynamics by

bigCover of the book Assessing Young Learners of English: Global and Local Perspectives by

bigCover of the book Big Data Computing and Communications by

bigCover of the book E-Democracy, Security, Privacy and Trust in a Digital World by

bigCover of the book Interior Design: Conceptual Basis by

bigCover of the book Computer Supported Qualitative Research by

bigCover of the book The Principal Agent Model and the European Union by

bigCover of the book Romanticism and Aesthetic Life in Postcolonial Writing by

bigCover of the book Bioactive Compounds from Extremophiles by

bigCover of the book Quality in the 21st Century by

bigCover of the book Dispersion Relations in Heavily-Doped Nanostructures by

bigCover of the book The Draft Common Frame of Reference as a "Toolbox" for Domestic Courts by

bigCover of the book Political Analysis Using R by

bigCover of the book Optimization and Control for Systems in the Big-Data Era by

bigCover of the book Mapping Spatial Relations, Their Perceptions and Dynamics 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