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 Anorectal Disease by

bigCover of the book Springer Series in Light Scattering by

bigCover of the book Regulating Corporate Criminal Liability by

bigCover of the book Percutaneous Intervention for Coronary Chronic Total Occlusion by

bigCover of the book Logic Programming and Nonmonotonic Reasoning by

bigCover of the book Global Innovation and Entrepreneurship by

bigCover of the book Agent-Based Models and Complexity Science in the Age of Geospatial Big Data by

bigCover of the book Inference on the Hurst Parameter and the Variance of Diffusions Driven by Fractional Brownian Motion by

bigCover of the book Wireless Information and Power Transfer: A New Paradigm for Green Communications by

bigCover of the book Water and Scriptures by

bigCover of the book Hardware and Software: Verification and Testing by

bigCover of the book Exploring Resources, Life-Balance and Well-Being of Women Who Work in a Global Context by

bigCover of the book Challenges of a Rechargeable Magnesium Battery by

bigCover of the book Improving Healthcare Operations by

bigCover of the book Bronchopulmonary Dysplasia 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