SPIN Model Checker, The: Primer and Reference Manual - Gerard Holzmann - Books - Pearson Education (US) - 9780321773715 - June 13, 2011
In case cover and title do not match, the title is correct

Gerard Holzmann
SPIN Model Checker, The: Primer and Reference Manual

Get an email once the item is available
Do you have a profile? Log in

Our customers say:

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

608 pages

Media Books     Paperback Book   (Book with soft cover and glued back)
Released June 13, 2011
ISBN13 9780321773715
Publishers Pearson Education (US)
Pages 608
Dimensions 180 × 232 × 31 mm   ·   1.04 kg
Language English  

Mere med samme udgiver

See all of Gerard Holzmann ( e.g. Paperback Book )