Search

Categories

    • categories-img Jacket, Women
    • categories-img Woolend Jacket
    • categories-img Western denim
    • categories-img Mini Dresss
    • categories-img Jacket, Women
    • categories-img Woolend Jacket
    • categories-img Western denim
    • categories-img Mini Dresss
    • categories-img Jacket, Women
    • categories-img Woolend Jacket
    • categories-img Western denim
    • categories-img Mini Dresss
    • categories-img Jacket, Women
    • categories-img Woolend Jacket
    • categories-img Western denim
    • categories-img Mini Dresss
    • categories-img Jacket, Women
    • categories-img Woolend Jacket
    • categories-img Western denim
    • categories-img Mini Dresss

Filter By Price

$
-
$

Dietary Needs

Top Rated Product

product-img product-img

Modern Chair

$165.00
product-img product-img

Plastic Chair

$165.00
product-img product-img

Design Rooms

$165.00

Brands

  • Wooden
  • Chair
  • Modern
  • Fabric
  • Shoulder
  • Winter
  • Accessories
  • Dress

Welcome and thank you for visiting us. For any query call us on 0799 626 359 or Email [email protected]

Shopping Cart

Africa largest book store

Sub Total:

Search for any Title

Principles of the Spin Model Checker

By: Mordechai Ben-Ari (Author)

3 in stock

Ksh 9,900.00

Format: Paperback or Softback

ISBN-13: 9781846287695

Publisher: Springer London Ltd

Publication Date: Jan 8th, 2008

Weight: 535 grams

Dimension: 22.20 x 14.10 x 2.40 cms

Category: COMPUTER PROGRAMMING / SOFTWARE DEVELOPMENT

Choose your Location

Shipping & Delivery

Door Delivery

Delivery fee

Delivery by 26 November when you order within the next 1 days 23 hours 23 minutes 19 seconds

  • Description

  • 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.

Get Principles of the Spin Model Checker by Mordechai Ben-Ari at the best price and quality guranteed only at Werezi Africa largest book ecommerce store. The book was published by Springer London Ltd and it has pages. Enjoy Shopping Best Offers & Deals on books Online from Werezi - Receive at your doorstep - Fast Delivery - Secure mode of Payment

Customer Reviews

Based on 0 reviews

Mind, Body, & Spirit