Giorgio Bacci - Böcker
Visar alla böcker från författaren Giorgio Bacci. Handla med fri frakt och snabb leverans.
1 produkt
1 produkt
Del 10460 - Lecture Notes in Computer Science
Models, Algorithms, Logics and Tools
Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
Häftad, Engelska, 2017
551 kr
Skickas inom 10-15 vardagar
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.