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 Parallel Genetic Algorithms for Financial Pattern Discovery Using GPUs by

bigCover of the book Architecture and the Social Sciences by

bigCover of the book Enacting Values-Based Change by

bigCover of the book Victorian Soul-Talk by

bigCover of the book Soft Computing for Sustainability Science by

bigCover of the book Minimally Invasive Acute Care Surgery by

bigCover of the book Airline Economics by

bigCover of the book Interaction-induced Electric Properties of van der Waals Complexes by

bigCover of the book Insurgency and Counter-Insurgency in Turkey by

bigCover of the book Asymmetric Synthesis of Bioactive Lactones and the Development of a Catalytic Asymmetric Synthesis of α-Aryl Ketones by

bigCover of the book Network Games, Control, and Optimization by

bigCover of the book Traumatic Memories of the Second World War and After by

bigCover of the book Electrical Stimulation for Pelvic Floor Disorders by

bigCover of the book Country Experiences in Economic Development, Management and Entrepreneurship by

bigCover of the book The Evaluators’ Eye 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