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 Michał Kalecki: An Intellectual Biography by

bigCover of the book Authentic Leadership and Followership by

bigCover of the book Supporting University Ventures in Nanotechnology, Biomaterials and Magnetic Sensing Applications by

bigCover of the book Nietzsche and Modernism by

bigCover of the book Internet of Things – ICIOT 2018 by

bigCover of the book The Informal Economy by

bigCover of the book Regularity and Stochasticity of Nonlinear Dynamical Systems by

bigCover of the book Multimedia Database Retrieval by

bigCover of the book Cyber Security Cryptography and Machine Learning by

bigCover of the book Black Masculinity and the Cinema of Policing by

bigCover of the book Regression Analysis in Medical Research by

bigCover of the book Dimensions of Practical Necessity by

bigCover of the book Berichte zu Pflanzenschutzmitteln by

bigCover of the book Information Security and Cryptology by

bigCover of the book Proceedings of the 13th International Scientific Conference 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