Sell now
Sell now
All categories
  • MotorsComing Soon
  • PropertyComing Soon
  • JobsComing Soon
  • ServicesComing Soon
ria9781846287695_rkm

Ria Christie English Books

0.00
(0 reviews) Write a review
Uxbridge, GB

Principles of the Spin Model Checker by Mordechai BenAri

2 In stock
AUTHOR : Mordechai Ben Ari
TYPE : Paperback / Softback
PUBLISHER : Springer Publishing
LANGUAGE : English
PUBLISHED : Jan 2008
PAGES : 220

Principles of the Spin Model Checker by Mordechai BenAri

£5147
Message Seller
+ −
Description Features Reviews
This is the first introductory textbook on Spin the only requirement is a background in programming. The Spin model checker is not only a widely used professional tool but it is also a superb tool for teaching important concepts of computer science such as verification concurrency and nondeterminism.
Description Features Reviews

Product revews

Average Star Rating:
0.00  (0 reviews Total)
Show reviews with:
5 stars (0 reviews)
4 stars (0 reviews)
3 stars (0 reviews)
2 stars (0 reviews)
1 star (0 reviews)
Show all reviews

No reviews found

Write a review