Handbook of Model Checking
ISBN-13: 9783319105741
ISBN-10: 3319105744
Authors: Clarke; Edmund M. (EDT); Henzinger; Thomas A. (EDT); Veith; Helmut (EDT); Bloem; Roderick (EDT)
Publisher: Springer
Published: 2018
Best Prices for this Book in New Condition
-
+3.99 shipping
-
Best Used Prices
-
+3.99 shipping
-
-
As an Amazon Associate we earn from qualifying purchases.