Formal Modeling and Analysis of Timed Systems

14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings

Nonfiction, Computers, Advanced Computing, Theory, 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 Introduction to Mathematical Biology by

bigCover of the book Invariance Entropy for Deterministic Control Systems by

bigCover of the book Testing of Interposer-Based 2.5D Integrated Circuits by

bigCover of the book Guide to Cisco Routers Configuration by

bigCover of the book Tribology in Sheet Rolling Technology by

bigCover of the book Alan Moore, Out from the Underground by

bigCover of the book Neurovascular Events After Subarachnoid Hemorrhage by

bigCover of the book Atlas of Coronary Intravascular Optical Coherence Tomography by

bigCover of the book Ischemic Stroke Therapeutics by

bigCover of the book Data-Driven Wireless Networks by

bigCover of the book Phytochemicals – Biosynthesis, Function and Application by

bigCover of the book Frontiers in Pen and Touch by

bigCover of the book Language and the Right to Fair Hearing in International Criminal Trials by

bigCover of the book The Changing Nature of Happiness by

bigCover of the book Tidal Streams in the Local Group and Beyond 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