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 Anticipation Across Disciplines by

bigCover of the book Introduction to Hybrid Intelligent Networks by

bigCover of the book Conceptualizing Copyright Exceptions in China and South Africa by

bigCover of the book Astronomy of the Milky Way by

bigCover of the book Principles of Neural Information Processing by

bigCover of the book Hyperbolicity of Projective Hypersurfaces by

bigCover of the book Astronomical Discoveries You Can Make, Too! by

bigCover of the book Global Security, Safety and Sustainability: Tomorrow’s Challenges of Cyber Security by

bigCover of the book Language, Music and Computing by

bigCover of the book Graph Drawing and Network Visualization by

bigCover of the book Europe, the Crisis, and the Internet by

bigCover of the book Hybrid Systems Biology by

bigCover of the book Database Systems for Advanced Applications by

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

bigCover of the book Nanomaterials and Plant Potential 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