Track Order   | Customer Support   | Request Book   |
International Order
Modal and Temporal Properties of Processes 2001 Edition at Meripustak

Modal and Temporal Properties of Processes 2001 Edition

Books from same Author: Colin Stirling

Books from same Publisher: Springer

Related Category: Author List / Publisher List

  • Retail Price: ₹ 8525/- [ 11.00% off ]

    Seller Price: ₹ 7587

Sold By: T K Pandey      Click for Bulk Order

Offer 1: Get ₹ 111 extra discount on minimum ₹ 500 [Use Code: Bharat]

Offer 2: Get 11.00 % + Flat ₹ 100 discount on shopping of ₹ 1500 [Use Code: IND100]

Offer 3: Get 11.00 % + Flat ₹ 300 discount on shopping of ₹ 5000 [Use Code: MPSTK300]

Free Shipping (for orders above ₹ 499) *T&C apply.

In Stock

Free Shipping Available


Click for International Orders
  • Provide Fastest Delivery
  • 100% Original Guaranteed
    • General Information  
    Author(s)Colin Stirling
    PublisherSpringer
    ISBN9780387987170
    Pages191
    BindingHardback
    LanguageEnglish
    Publish YearJuly 2001

    Description

    Springer Modal and Temporal Properties of Processes 2001 Edition by Colin Stirling

    In recent years, model checking has become an essential technique for the formal verification of systems. With a clarity of presentation and its many illuminating examples, this book makes this technical material easy to grasp. It is perfectly suited for an advanced undergraduate or graduate class in formal verification and will serve as a valuable resource to practitioners of formal methods.