Symbolic model checking - Kenneth L. McMillan - Books - Kluwer Academic - 9780792393801 - July 31, 1993
In case cover and title do not match, the title is correct

Symbolic model checking

Kenneth L. McMillan

Price
₪ 417

Ordered from remote warehouse

Expected delivery Jul 8 - 22

Our customers say:

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

Also available as:

Symbolic model checking

Media Books     Book
Released July 31, 1993
ISBN13 9780792393801
Publishers Kluwer Academic
Pages 194
Dimensions 426 g
Language English  

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