Symbolic Model Checking - Kenneth McMillan - Books - Kluwer Academic Publishers - 9780792393801 - July 31, 1993
In case cover and title do not match, the title is correct

Symbolic Model Checking

Kenneth McMillan

Price
$ 111.49
excl. VAT

Ordered from remote warehouse

Expected delivery Nov 26 - Dec 9
Christmas presents can be returned until 31 January

Our customers say:

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

Symbolic Model Checking

Media Books     Hardcover Book   (Book with hard spine and cover)
Released July 31, 1993
ISBN13 9780792393801
Publishers Kluwer Academic Publishers
Pages 216
Dimensions 150 × 220 × 20 mm   ·   426 g
Language English  
Show all

More by Kenneth McMillan

See all of Kenneth McMillan ( e.g. Hardcover Book and Paperback Book )