Track Order   | Customer Support   | Request Book   |
International Order
Unfoldings 2008 Edition at Meripustak

Unfoldings 2008 Edition

Books from same Author: Javier Esparza, Keijo Heljanko

Books from same Publisher: Springer

Related Category: Author List / Publisher List

  • Retail Price: ₹ 11534/- [ 25.00% off ]

    Seller Price: ₹ 8650

Sold By: T K Pandey      Click for Bulk Order

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

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

Offer 3: Get 25.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)Javier Esparza, Keijo Heljanko
    PublisherSpringer
    ISBN9783540774259
    Pages172
    BindingHardback
    LanguageEnglish
    Publish YearJune 2008

    Description

    Springer Unfoldings 2008 Edition by Javier Esparza, Keijo Heljanko

    In this book the authors introduce unfoldings, an approach to model checking which alleviates the state explosion problem by means of concurrency theory. They offer an introduction to the basics of the method and detail an unfolding-based algorithm for model checking concurrent systems against properties specified as formulas of linear temporal logic (LTL). The book will be of value to researchers and graduate students engaged in automatic verification and concurrency theory.