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 Unforgotten Sisters by

bigCover of the book Action-Based Quality Management by

bigCover of the book Representations, Analysis and Recognition of Shape and Motion from Imaging Data by

bigCover of the book Cutaneous Haptic Feedback in Robotic Teleoperation by

bigCover of the book Nationalism and the Haram al-Sharif/Temple Mount by

bigCover of the book Managing BRCA Mutation Carriers by

bigCover of the book Brexit and Internal Security by

bigCover of the book China's Belt and Road Initiative by

bigCover of the book Copyright Perspectives by

bigCover of the book Enterprise Information Systems by

bigCover of the book New Opportunities for Software Reuse by

bigCover of the book Spectrum Sharing for Wireless Communications by

bigCover of the book Identifying Product and Process State Drivers in Manufacturing Systems Using Supervised Machine Learning by

bigCover of the book Computer Vision – ECCV 2016 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