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 Cardiovascular Genetics and Genomics by

bigCover of the book Atlas of Upper Extremity Trauma by

bigCover of the book Newton’s Sensorium: Anatomy of a Concept by

bigCover of the book Solid State Lighting Reliability Part 2 by

bigCover of the book Electrical Fluctuations in Polyelectrolytes by

bigCover of the book Coastal Ocean Observing by

bigCover of the book Micro-Manufacturing Technologies and Their Applications by

bigCover of the book Iraqi Kurdistan’s Statehood Aspirations by

bigCover of the book Intelligent Transport Systems – From Research and Development to the Market Uptake by

bigCover of the book Sub-Riemannian Geometry and Optimal Transport by

bigCover of the book On the Catalytic Efficacy of Low-Oxidation State Group 14 Complexes by

bigCover of the book Solving Computationally Expensive Engineering Problems by

bigCover of the book Fracture Mechanics by

bigCover of the book Spin Physics in Semiconductors by

bigCover of the book Entrepreneurship and Organizational Innovation 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