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 Bioequivalence Requirements in Various Global Jurisdictions by
Cover of the book Rare Tumors and Tumor-like Conditions in Urological Pathology by
Cover of the book Balancing the Common Core Curriculum in Middle School Education by
Cover of the book Teaching Education for Sustainable Development at University Level by
Cover of the book Failure Analysis by
Cover of the book Rethinking Capital by
Cover of the book Stable Convergence and Stable Limit Theorems by
Cover of the book Comparative Criminology in Asia by
Cover of the book Nuclear Structure with Coherent States by
Cover of the book Mesearch and the Performing Body by
Cover of the book Challenges in Mechanics of Time-Dependent Materials, Volume 2 by
Cover of the book Data Driven Approaches in Digital Education by
Cover of the book Advanced Noncontact Cutting and Joining Technologies by
Cover of the book Mechanisms of Vascular Defects in Diabetes Mellitus by
Cover of the book Biological Nitrogen Fixation and Beneficial Plant-Microbe Interaction 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