Principles of the Spin Model Checker
Product ID: 1846287693
Condition: New
Payflex: Pay in 4 interest-free payments of R604.00. Read the FAQ
R 2,416
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
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.
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)