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 Machine-learning Techniques in Economics by
Cover of the book Uterine Cancer by
Cover of the book Modern Real Analysis by
Cover of the book Spatio-Temporal Data Analytics for Wind Energy Integration by
Cover of the book The Path to Post-Galilean Epistemology by
Cover of the book Variational Analysis and Aerospace Engineering by
Cover of the book Engineering of Scintillation Materials and Radiation Technologies by
Cover of the book Impacts of Tannery Operations on Guppy, Poecilia reticulata by
Cover of the book Progress in Ultrafast Intense Laser Science by
Cover of the book Smart Cities in the Mediterranean by
Cover of the book Guerrilla Science by
Cover of the book Pathology of Learning in Cyber Space by
Cover of the book Smart Structures and Materials by
Cover of the book Proton Exchange Membrane Fuel Cells by
Cover of the book High Performance Computing 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