Models, Algorithms, Logics and Tools

Explore the profound contributions of Kim Guldstrand Larsen in "Models, Algorithms, Logics and Tools," published by Springer International Publishing AG in 2017. This comprehensive first edition spans 662 pages and delves into a diverse array of topics, including real-time, concurrent, and probabilistic models of computation. Larsen's expertise also extends to the realms of logic in computer science and model checking, making this book an essential resource for both students and professionals in the field. Enhance your understanding of these critical areas in computing with this insightful work by a leading authority. Perfect for anyone looking to deepen their knowledge and stay ahead in the rapidly evolving world of computer science.