Models, Algorithms, Logics and Tools

Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday is geschreven door Author en gepubliceerd door Springer. De digitale en eTextbook-ISBN's voor Models, Algorithms, Logics and Tools zijn 9783319631219, 3319631217 en de ISBN's voor gedrukt materiaal zijn 9783319631202, 3319631209. Bespaar tot 80% ten opzichte van gedrukte boeken door over te stappen op digitaal bij VitalSource.

Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday is geschreven door Author en gepubliceerd door Springer. De digitale en eTextbook-ISBN's voor Models, Algorithms, Logics and Tools zijn 9783319631219, 3319631217 en de ISBN's voor gedrukt materiaal zijn 9783319631202, 3319631209. Bespaar tot 80% ten opzichte van gedrukte boeken door over te stappen op digitaal bij VitalSource.