Formal Modeling and Analysis of Timed Systems

15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings

Nonfiction, Computers, Programming, Software Development, General Computing

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 The Political Economy of Change and Continuity in Korea by

bigCover of the book The Lysenko Controversy as a Global Phenomenon, Volume 1 by

bigCover of the book Active Learning from Infancy to Childhood by

bigCover of the book Hybrid ADCs, Smart Sensors for the IoT, and Sub-1V & Advanced Node Analog Circuit Design by

bigCover of the book Brewing and Distilling Yeasts by

bigCover of the book Business Intelligence by

bigCover of the book Advances in Big Data by

bigCover of the book Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2015 by

bigCover of the book Using Transparency Against Corruption in Public Procurement by

bigCover of the book Generalized Locally Toeplitz Sequences: Theory and Applications by

bigCover of the book Proceedings of the 7th World Conference on Mass Customization, Personalization, and Co-Creation (MCPC 2014), Aalborg, Denmark, February 4th - 7th, 2014 by

bigCover of the book Policy Capacity and Governance by

bigCover of the book Postal and Delivery Innovation in the Digital Economy by

bigCover of the book Introduction to Statistics by

bigCover of the book Communication Technologies for Vehicles 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