Unfoldings: A Partial-Order Approach to Model Checking by Javier Esparza 9783642096051

Name: Unfoldings: A Partial-Order Approach to Model Checking by Javier Esparza 9783642096051
SKU: 9783642096051
Price: 102.4 GBP
Availability: InStock

No reviews yet Write a Review

Booksplease Price: £102.40

  Bookmarks: Included free with every order
  Delivery: We ship to over 200 countries from the UK
  Range: Millions of books available
  Reviews: Booksplease rated "Excellent" on Trustpilot

FREE UK DELIVERY: When You Buy 3 or More Books - Use code: FREEUKDELIVERY in your cart!

SKU:: 9783642096051
UPC:
MPN:: 9783642096051

Available from Booksplease!

Global delivery available

Availability: Usually dispatched within 4 working days

Ask Questions

Frequently Bought Together:

Unfoldings: A Partial-Order Approach to Model Checking by Javier Esparza 9783642096051

Booksplease Price: £102.40

Total: Inc. VAT

Total: Ex. VAT

Description
Reviews

Description

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.

Book Information
ISBN 9783642096051
Author Javier Esparza
Format Paperback
Page Count 172
Imprint Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Publisher Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight(grams) 290g

Reviews

No reviews yet Write a Review

Related Titles

Finite and Algorithmic Model Theory by Javier Esparza

RRP: £63.00

Booksplease Price: £57.35

Intended for researchers and graduate students in theoretical computer science and mathematical logic, this volume contains accessible surveys by leading researchers from areas of current work in...

Add to Cart

Automata Theory: An Algorithmic Approach by Javier Esparza 9780262048637

RRP: £76.00

Booksplease Price: £58.87

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9780262048637Author Javier EsparzaFormat HardbackPage Count 560Imprint

Add to Cart

Ordered Regression Models: Parallel, Partial, and Non-Parallel Alternatives Andrew S. Fullerton 9780367737214

RRP: £47.99

Booksplease Price: £42.76

Estimate and Interpret Results from Ordered Regression ModelsOrdered Regression Models: Parallel, Partial, and Non-Parallel Alternatives presents regression models for ordinal outcomes, which are...

Add to Cart

Stochastic Partial Differential Equations: A Modeling, White Noise Functional Approach by Helge Holden 9780387894874

Booksplease Price: £66.71

The first edition of Stochastic Partial Differential Equations: A Modeling, White Noise Functional Approach, gave a comprehensive introduction to SPDEs. In this, the second edition, the authors build...

Add to Cart

Biology in Time and Space: A Partial Differential Equation Modeling Approach by James P Keener 9781470454289

RRP: £85.00

Booksplease Price: £81.23

How do biological objects communicate, make structures, make measurements and decisions, search for food, i.e., do all the things necessary for survival? Designed for an advanced undergraduate...

Add to Cart

New Model Armies by Jordan Javier 9781644267585

RRP: £12.00

Booksplease Price: £8.03

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781644267585Author Jordan JavierFormat PaperbackPage Count 110Imprint

Add to Cart

Partial Least Squares Path Modeling of Latent Variables: Component-Based Approach to Structural Equation Modeling by Vincenzo Esposito Vinzi

RRP: £130.00

Booksplease Price: £114.10

Partial least squares structural equation modelling (PLS-SEM) is becoming a popular statistical framework in many fields and disciplines of the social sciences. The main reason for this popularity is...

Add to Cart

Science and Partial Truth: A Unitary Approach to Models and Scientific Reasoning by Newton C. A. da Costa 9780195156515

RRP: £83.00

Booksplease Price: £66.00

Da Costa and French explore the consequences of adopting a "pragmatic" notion of truth in the philosophy of science-in other words, accepting a theory as valid when it may only be partially true...

Add to Cart

Taming the Infinities of Concurrency: Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday by Stefan Kiefer 9783031562211

Booksplease Price: £111.24

Javier Esparza received his primary degree in Theoretical Physics and in 1990 his PhD in Computer Science from the University of Zaragoza. After positions at the University of Hildesheim, the...

Add to Cart

Booksplease Reviews

Fast and efficient way to choose and receive books

This is my second experience using Booksplease. Both orders dealt with very quickly and despatched. Now waiting for my next read to drop through the letterbox.

J - United Kingdom

Will definitely use again!

Great experience and I have zero concerns. They communicated through the shipping process and if there was any hiccups in it, they let me know. Books arrived in perfect condition as well as being fairly priced. 10/10 recommend. I will definitely shop here again!

T - United States

The shipping was just superior

The shipping was just superior; not even one of the books was in contact with the shipping box -anywhere-, not even a corner or the bottom, so all the books arrived in perfect condition. The international shipping took around 2 weeks, so pretty great too.

R - Spain

Found a hard to get book…

Finding a hard to get book on Booksplease and with it not being an over inflated price was great. Ordering was really easy with updates on despatch. The book was packaged well and in great condition. I will certainly use them again.

J - United Kingdom

Recently Viewed

Unfoldings: A Partial-Order Approach to Model Checking by Javier Esparza 9783642096051

Frequently Bought Together:

Description

Goodreads reviews

Reviews