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
A$ 165.99

Ordered from remote warehouse

Expected delivery Oct 7 - 21

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 )