Item #: 1122788 | Model #: 9783540774259
Unfoldings: A Partial-Order Approach to Model Checking
Rollover image to zoom in
https://www.staples-3p.com/s7/is/image/Staples/m001247590_sc7?wid=512&hei=512

Unfoldings: A Partial-Order Approach to Model Checking

No reviews yet
Share:
Delivered within 3-9 business days
$112.89
This item not available in stores
Qty:

Staples memberships could save you more | Learn More

Product Details
  • Author Name: Javier Esparza, Keijo Heljanko
  • No of Pages: 172 Pages
  • Publisher: Springer
Go to full description & specifications


112.89
112.89
https://www.staples-3p.com/s7/is/image/Staples/m001247590
09783540774259
Assorted Publishers
Unfoldings: A Partial-Order Approach to Model Checking
Product Description
Unfoldings: A Partial-Order Approach to Model Checking by Javier Esparza and Keijo Heljanko - For students and professionals engaged in automatic verification and concurrency theory

Unfoldings: A Partial-Order Approach to Model Checking by Javier Esparza and Keijo Heljanko is a clear overview of unfoldings techniques. It explains unfoldings within a coherent framework.

  • Author Name: Javier Esparza, Keijo Heljanko
  • No of Pages: 172 Pages
  • Publisher: Springer
  • Publishing Date: March 27, 2008
  • Language: English
  • ISBN -10: 3540774254
  • ISBN -13: 978-3540774259
  • Edition: 2008
Specifications
Book Cover Hardcover
Author Name Javier Esparza, Keijo Heljanko
Reviews