25 Years of Model Checking

25 Years of Model Checking: History, Achievements, Perspectives 1st Editie is geschreven door Orna Grumberg; ‎Helmut Veith en gepubliceerd door Springer. De digitale en eTextbook-ISBN's voor 25 Years of Model Checking zijn 9783540698500, 3540698507 en de ISBN's voor gedrukt materiaal zijn 9783540698494, 3540698493. Bespaar tot 80% ten opzichte van gedrukte boeken door over te stappen op digitaal bij VitalSource.

25 Years of Model Checking: History, Achievements, Perspectives 1st Editie is geschreven door Orna Grumberg; ‎Helmut Veith en gepubliceerd door Springer. De digitale en eTextbook-ISBN's voor 25 Years of Model Checking zijn 9783540698500, 3540698507 en de ISBN's voor gedrukt materiaal zijn 9783540698494, 3540698493. Bespaar tot 80% ten opzichte van gedrukte boeken door over te stappen op digitaal bij VitalSource.