Handbook of Model Checking 1st ed. 2018 edition

Clarke

Price

A$ 195.99

Ordered from remote warehouse

Expected delivery Sep 27 - Oct 8

Our customers say:

Add to your iMusic wish list

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