We a good story
4.1 / 5 on Trustpilot
Quick delivery in the UK
Trusted Ecommerce Europe
Help
Login
  1. Home
  2. Books
  3. Business & Education
  4. Computing & IT
  5. Models, Algorithms, Logics and Tools

Models, Algorithms, Logics and Tools

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

part of the Theoretical Computer Science and General Issues series

part of the Lecture Notes in Computer Science series

Models, Algorithms, Logics and Tools Save 14% from RPP Save 14%
About Models, Algorithms, Logics and Tools

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.

Show more
  • Language:
  • English
  • ISBN:
  • 9783319631202
  • Binding:
  • Paperback
  • Pages:
  • 662
  • Published:
  • July 24, 2017
  • Edition:
  • 12017
  • Dimensions:
  • 155x235x0 mm.
Delivery: 2-4 weeks
Expected delivery: December 26, 2024
Extended return policy to January 30, 2025

Description of Models, Algorithms, Logics and Tools

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.

User ratings of Models, Algorithms, Logics and Tools



Others also bought..
Find similar books
The book Models, Algorithms, Logics and Tools can be found in the following categories:

Join thousands of book lovers

Sign up to our newsletter and receive discounts and inspiration for your next reading experience.