Handbook of Model Checking - Clarke - Books - Springer International Publishing AG - 9783319105741 - June 8, 2018
In case cover and title do not match, the title is correct

Handbook of Model Checking 1st ed. 2018 edition

Clarke

Login to be notified when the product is available again

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Handbook of Model Checking 1st ed. 2018 edition

1000 pages, biography

Media Books     Hardcover Book   (Book with hard spine and cover)
Released June 8, 2018
ISBN13 9783319105741
Publishers Springer International Publishing AG
Pages 1210
Dimensions 166 × 244 × 59 mm   ·   2.51 kg
Language French  
Editor Bloem, Roderick
Editor Clarke, Edmund M., Jr.
Editor Henzinger, Thomas A.
Editor Veith, Helmut
Show all

More by Clarke

See all of Clarke ( e.g. Book , Paperback Book , Hardcover Book and CD )