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
Big bigCover of Formal Modeling and Analysis of Timed Systems

More books from Springer International Publishing

bigCover of the book Ethics in Medicine by
bigCover of the book The Mirror of Information in Early Modern England by
bigCover of the book Concrete Construction by
bigCover of the book SOFSEM 2017: Theory and Practice of Computer Science by
bigCover of the book Deep-Sea Mining by
bigCover of the book Social Management by
bigCover of the book Transactions on Pattern Languages of Programming IV by
bigCover of the book Philosophy's Loss of Logic to Mathematics by
bigCover of the book Universal Access in Human-Computer Interaction. Access to the Human Environment and Culture by
bigCover of the book Tradeoff Decisions in System Design by
bigCover of the book Design of Organic Complementary Circuits and Systems on Foil by
bigCover of the book Congestive Heart Failure and Cardiac Transplantation by
bigCover of the book Integrative Cardiology by
bigCover of the book Vasculitis in Clinical Practice by
bigCover of the book Camera-Based Document Analysis and Recognition 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