Gå direkte til innholdet
Models, Algorithms, Logics and Tools
Spar

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.
Undertittel
Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
Opplag
1st ed. 2017
ISBN
9783319631202
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
25.7.2017
Antall sider
662