Principles of the Spin Model Checker
Product ID: 35083247
Condition: New
Payflex: Pay in 4 interest-free payments of R583.00. Learn more
R 2,332
includes Duties & VAT
Delivery: 10-20 working days
Ships from USA warehouse.
Secure Transaction
VISA
Mastercard
payflex
ozow
Product Description
Principles of the Spin Model Checker
- Used Book in Good Condition
<P>This is the first introductory textbook on Spin, the only requirement is a background in programming. Spin models are written in the Promela language which is easily learned by students and programmers. Spin is easy to install and use. </P>
Technical Specifications
Country
USA
Brand
Springer
Manufacturer
Springer
Binding
Paperback
ItemPartNumber
22503976
ReleaseDate
2008-01-07T00:00:01Z
UnitCount
1
EANs
9781846287695
You might also like
The SPIN Model Checker: Primer and Reference Manual (paperback)
Software Abstractions: Logic, Language, and Analysis (MIT Press)
Business & Professional Communication: Principles and Skills for Leadership (2nd Edition)
Rapid Development: Taming Wild Software Schedules
Software Project Survival Guide (Developer Best Practices)
The Little Prover (MIT Press)