Cover may not depict edition offered for sale
About this title: Model checking is a prominent technique used in the hardware and software industries for automatic verification. While it is very successful in finding subtle bugs in distributed systems, it faces the state explosion problem - the number of reachable states grows exponentially in the number of concurrent components. In this book the authors ...
read more
Note: This is a general synopsis. Each listing is described below.
Your search: Books » Unfoldings: A Partial-Order Approach to Model Checking
(15 available copies)
Page 1 of 1
Unfoldings: a Partial-Order Approach to Model Checking (Monographs in Theoretical Computer Science. an Eatcs Series)
by
Javier Esparza, Keijo Heljanko
Ships from
CA,
USA
Binding: Hardcover
Publisher: Springer
Date Published: 2008
ISBN-13: 9783540774259
ISBN: 3540774254
Description: Very Good. Ex-Library Copy. Very Clean Copy-Over 500, 000 Internet Orders Filled. read more
Unfoldings: a Partial-Order Approach to Model Checking (Monographs in Theoretical Computer Science. an Eatcs Series)
by
Javier Esparza; Keijo Heljanko
Ships from
TX,
USA
Binding: Hardcover
Publisher: Springer
Date Published: 2008-04-28
ISBN-13: 9783540774259
ISBN: 3540774254
Description: New. Brand New. Never Used. read more
condition:
Book:
Available qty:
3
seller information:
Name:
ExtremelyReliable ,
TX,
USA
Reliability:
Unfoldings: a Partial-Order Approach to Model Checking (Monographs in Theoretical Computer Science. an Eatcs Series)
by
Javier Esparza; Keijo Heljanko
Ships from
TX,
USA
Binding: Hardcover
Publisher: Springer
Date Published: 2008-04-28
ISBN-13: 9783540774259
ISBN: 3540774254
Description: New. Brand New. Never Used. read more
condition:
Book:
Available qty:
3
seller information:
Name:
ExtremelyReliable ,
TX,
USA
Reliability:
Unfoldings: a Partial-Order Approach to Model Checking
by
Esparza, Javier / Heljanko, Keijo
Ships from
GA,
USA
Binding: Hardcover
Publisher: Springer-Verlag New York Inc
Date Published: 2008-06-03
ISBN-13: 9783540774259
ISBN: 3540774254
Description: NEW. Hardcover. From an inventory that is 100% brand-new, 100% direct from the publishers' distribution channel. We carry NO pre-owned, NO remaindered. We pack in CARDBOARD to ensure the pristine quality is maintained. (Bubble-wrap alone is NOT sufficient to protect from USPS equipment. ) Guaranteed brand-NEW, protected with CARDBOARD, your satisfaction is guaranteed. BKLUVID: 9783540774259. read more
condition:
Book:
seller information:
Name:
MediaCompass LLC ,
GA,
USA
Reliability:
Unfoldings: A Partial-Order Approach to Model Checking
by
Esparza, Javier, and Heljanko, Keijo
Ships from
NV,
USA
Binding: Hardcover
Publisher: Springer
Date Published: 2008
ISBN-13: 9783540774259
ISBN: 3540774254
Description: New. Sewn binding. Cloth over boards. 172 p. Monographs in Theoretical Computer Science. an Eatcs. read more
Unfoldings: A Partial-Order Approach to Model Checking
by
Esparza, Javier, and Heljanko, Keijo
Ships from
NJ,
USA
Binding: Hardcover
Publisher: Springer
Date Published: 2008
ISBN-13: 9783540774259
ISBN: 3540774254
Description: New. Sewn binding. Cloth over boards. 172 p. Monographs in Theoretical Computer Science. an Eatcs. read more
condition:
Book:
Available qty:
>10
seller information:
Name:
Shams ,
NJ,
USA
Reliability:
Unfoldings: a Partial-Order Approach to Model Checking (Monographs in Theoretical Computer Science. an Eatcs Series)
by
Javier Esparzakeijo Heljanko
Ships from
NJ,
USA
ISBN-13: 9783540774259
ISBN: 3540774254
Description: BRAND NEW. 3540774254. read more
condition:
Book:
Available qty:
10
seller information:
Name:
indoo ,
NJ,
USA
Reliability:
Unfoldings: a Partial-Order Approach to Model Checking (Monographs in Theoretical Computer Science. an Eatcs Series)
by
Javier Esparza
Ships from
FL,
USA
Binding: Hardcover
Publisher: Springer
Date Published: 2008
ISBN-13: 9783540774259
ISBN: 3540774254
Description: Very good. read more
condition:
Book:
Available qty:
4
seller information:
Name:
More Books ,
FL,
USA
Reliability:
Unfoldings: a Partial-Order Approach to Model Checking (Monographs in Theoretical Computer Science. an Eatcs Series)
by
Javier Esparza
Ships from
FL,
USA
Binding: Hardcover
Publisher: Springer
Date Published: 2008
ISBN-13: 9783540774259
ISBN: 3540774254
Description: New. read more
condition:
Book:
Available qty:
4
seller information:
Name:
More Books ,
FL,
USA
Reliability:
Unfoldings: a Partial-Order Approach to Model Chec
by
Esparza, Javier And Heljanko, Keijo
Ships from
IL,
USA
Binding: Hardback
Publisher: Springer-Verlag New York Inc
Date Published: 2008
ISBN-13: 9783540774259
ISBN: 3540774254
Description: New. read more
condition:
Book:
seller information:
Name:
Paperbackshop ,
IL,
USA
Reliability:
Unfoldings: a Partial-Order Approach to Model Checking (Monographs in Theoretical Computer Science. an Eatcs Series)
by
Javier Esparza, Keijo Heljanko
Ships from
NJ,
USA
ISBN-13: 9783540774259
ISBN: 3540774254
Description: Like New. SHIPS FROM GERMANY. NO EXPEDITED SHIPPING! Allow 10-14 business days for delivery. Please always check the language in the product description section. Few left in stock-order soon. Selling online since 1995. Code: L20091210074335I. read more
condition:
Book:
seller information:
Name:
A1Books ,
NJ,
USA
Reliability:
Unfoldings: a Partial-Order Approach to Model Checking (Monographs in Theoretical Computer Science. an Eatcs Series)
by
Javier Esparza, Keijo Heljanko
Ships from
NJ,
USA
Binding: Hardcover
ISBN-13: 9783540774259
ISBN: 3540774254
Description: New. Brand new book. read more
condition:
Book:
seller information:
Name:
A1Books ,
NJ,
USA
Reliability:
Unfoldings: a Partial-Order Approach to Model Checking
by
Javier Esparza, Keijo Heljanko
Ships from
MERSEYSIDE,
UNITED KINGDOM
ISBN-13: 9783540774259
ISBN: 3540774254
Description: BRAND NEW FROM THE SAINT BOOKSTORE. read more
condition:
Book:
seller information:
Name:
The Saint Bookstore ,
MERSEYSIDE,
UNITED KINGDOM
Reliability:
Unfoldings: a Partial-Order Approach to Model Checking (Monographs in Theoret...
ISBN-13: 9783540774259
ISBN: 3540774254
Description: New. Satisfaction Guranteed. read more
Unfoldings: a Partial-Order Approach to Model Checking (Monographs in Theoret...
ISBN-13: 9783540774259
ISBN: 3540774254
Description: New. Satisfaction Guranteed. read more
Be the first to write a review
& you could win a FREE gift!
Share this book
We guarantee every item's condition, as described on Alibris. If you are not satisfied that an item is as described, return your purchase for a refund.
