Models, Algorithms, Logics and Tools

Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

Nonfiction, Computers, Advanced Computing, Computer Science, Programming, Software Development, General Computing
Cover of the book Models, Algorithms, Logics and Tools by , Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9783319631219
Publisher: Springer International Publishing Publication: August 17, 2017
Imprint: Springer Language: English
Author:
ISBN: 9783319631219
Publisher: Springer International Publishing
Publication: August 17, 2017
Imprint: Springer
Language: English

This Festschrift is published in honor of Kim Guldstrand Larsen, one of the earliest precursors of computer science in Denmark, on the occasion of his 60th birthday. During the last three decades, Kim Guldstrand Larsen has given major contributions across a remarkably wide range of topics, including real-time, concurrent, and probabilistic models of computation, logic in computer science, and model checking. Since 1995, he has been one of the prime movers behind the model checking tool for real-time systems UPPAAL, for which he was a co-recipient of the CAV Award in 2013.

The Festschrift contains 32 papers that feature the broad range of Kim Guldstrand Larsen's research topics, such as formal languages and automata theory; logic; verification, model checking and testing; algorithmic game theory and mechanism design; semantics and reasoning; real-time and distributed systems; and modeling and simulation.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

This Festschrift is published in honor of Kim Guldstrand Larsen, one of the earliest precursors of computer science in Denmark, on the occasion of his 60th birthday. During the last three decades, Kim Guldstrand Larsen has given major contributions across a remarkably wide range of topics, including real-time, concurrent, and probabilistic models of computation, logic in computer science, and model checking. Since 1995, he has been one of the prime movers behind the model checking tool for real-time systems UPPAAL, for which he was a co-recipient of the CAV Award in 2013.

The Festschrift contains 32 papers that feature the broad range of Kim Guldstrand Larsen's research topics, such as formal languages and automata theory; logic; verification, model checking and testing; algorithmic game theory and mechanism design; semantics and reasoning; real-time and distributed systems; and modeling and simulation.

More books from Springer International Publishing

Cover of the book Automotive User Interfaces by
Cover of the book Health Risks and Fair Compensation in the Fire Service by
Cover of the book On Privacy-Preserving Protocols for Smart Metering Systems by
Cover of the book Fractures of the Tibia by
Cover of the book Provable Security by
Cover of the book Characterization of Minerals, Metals, and Materials 2017 by
Cover of the book Labour and the Politics of Disloyalty in Belfast, 1921-39 by
Cover of the book Future Internet Testing by
Cover of the book STRATI 2013 by
Cover of the book Essentials of Pericyclic and Photochemical Reactions by
Cover of the book Shadowing and Hyperbolicity by
Cover of the book Women, Development and Peacebuilding in Africa by
Cover of the book Kenyatta and Britain by
Cover of the book Theoretical Modeling of Vibrational Spectra in the Liquid Phase by
Cover of the book Fungi in Coastal and Oceanic Marine Ecosystems 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