العربية
  • Free & Easy Returns
  • Best Deals
العربية
loader
Wishlist
wishlist
Cart
cart

Principles Of The Spin Model Checker Paperback English by Mordechai Ben-Ari - 39448

Now:
AED 131.10 Inclusive of VAT
noon-marketplace
Get it by 29 Dec
Order in 22 h 8 m
VIP ENBD Credit Card

VIP card

Earn 5% cashback with the Mashreq noon Credit Card. Apply now

Pay 4 interest-free payments of AED 32.77.Learn more
Split in 4 payments of AED 32.77. No interest. No late fees.Learn more
Delivery 
by noon
Delivery by noon
Cash on 
Delivery
Cash on Delivery
Secure
Transaction
Secure Transaction
1
1 Added to cart
Add To Cart
Noon Locker
Free delivery on Lockers & Pickup Points
Learn more
free_returns
Enjoy hassle free returns with this offer.
Item as Described
Item as Described
50%
Partner Since

Partner Since

2+ Years
Overview
Specifications
PublisherSpringer London Ltd
ISBN 139781846287695
ISBN 101846287693
Book DescriptionPrinciples of Spin is an introductory book, 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. 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. The book introduces Spin-based software that the author has developed for teaching: jSpin - an integrated development environment for Spin. SpinSpider - uses output from Spin to automatically construct state diagrams of concurrent programs. VN is a tool for visualizing nondeterminism. Complete programs will demonstrate each construct and concept and these programs will be available on a companion website.
About the AuthorThere is no author biography for this title.
LanguageEnglish
AuthorMordechai Ben-Ari
LanguageEnglish
Publication Date39448
Number of Pages220

Principles Of The Spin Model Checker Paperback English by Mordechai Ben-Ari - 39448

Added to cartatc
Cart Total AED 131.10
Loading