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 Citizen Activism and Mediterranean Identity by

bigCover of the book Handbook of Zen, Mindfulness, and Behavioral Health by

bigCover of the book Direct Licensing and the Music Industry by

bigCover of the book Principles of Agronomy for Sustainable Agriculture by

bigCover of the book Credibility, Validity, and Assumptions in Program Evaluation Methodology by

bigCover of the book Embodied Performance as Applied Research, Art and Pedagogy by

bigCover of the book Organic Farming for Sustainable Agriculture by

bigCover of the book Alasdair MacIntyre, Rationality and Education by

bigCover of the book Digital Pathology by

bigCover of the book Decarbonising Cities by

bigCover of the book High Energy Astrophysical Techniques by

bigCover of the book Power-to-Gas: Technology and Business Models by

bigCover of the book Patho-Epigenetics of Infectious Disease 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