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 Modelling Foundations and Applications by

bigCover of the book Action-Based Quality Management by

bigCover of the book Challenges and Opportunities in Health Care Management by

bigCover of the book Becoming a Project Leader by

bigCover of the book Airports, Cities, and the Jet Age by

bigCover of the book Trends in Differential Equations and Applications by

bigCover of the book Narrow and Smart Textiles by

bigCover of the book Biomedical Applications Based on Natural and Artificial Computing by

bigCover of the book Haploidentical Stem Cell Transplantation by

bigCover of the book Business Dynamics in North America by

bigCover of the book Law, Religion and Tradition by

bigCover of the book Digital VLSI Design with Verilog by

bigCover of the book Magnesium Technology 2019 by

bigCover of the book Techniques for Evaluating the Differences in Multiregional Input-Output Databases by

bigCover of the book Neurology at the Bedside 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