Gå direkt till innehållet
Models, Algorithms, Logics and Tools
Spara

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.
Undertitel
Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
Upplaga
1st ed. 2017
ISBN
9783319631202
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
2017-07-25
Sidor
662