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 Mycobacterial Skin Infections by

bigCover of the book Translational Recurrences by

bigCover of the book Geospatial Semantic Web by

bigCover of the book Just-in-Time Elements and Benefits by

bigCover of the book Finding Solutions for Protecting and Sharing Archaeological Heritage Resources by

bigCover of the book Imaging of Complications and Toxicity following Tumor Therapy by

bigCover of the book Visible Costs and Invisible Benefits by

bigCover of the book Perspectives in Sustainable Nematode Management Through Pochonia chlamydosporia Applications for Root and Rhizosphere Health by

bigCover of the book Higher Education and Development in Africa by

bigCover of the book State-Trace Analysis by

bigCover of the book Knowledge Management in Organizations by

bigCover of the book Technology and Practice of Passwords by

bigCover of the book Radionuclides in the Environment by

bigCover of the book The Myth of Mao Zedong and Modern Insurgency by

bigCover of the book Vascular Neurology Board Review 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