Decidability of Parameterized Verification - Synthesis Lectures on Distributed Computing Theory - Roderick Bloem - Books - Springer International Publishing AG - 9783031008832 - September 29, 2015
In case cover and title do not match, the title is correct

Roderick Bloem
Decidability of Parameterized Verification - Synthesis Lectures on Distributed Computing Theory

Price
S$ 64.50
excl. VAT

Ordered from remote warehouse

Expected delivery Jan 16 - 28, 2026

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

While the classic model checking problem is to decide whether a finite system satisfies a specification, the goal of parameterized model checking is to decide, given finite systems ????(n) parameterized by n ? N, whether, for all n ? N, the system ????(n) satisfies a specification.

Media Books     Paperback Book   (Book with soft cover and glued back)
Released September 29, 2015
ISBN13 9783031008832
Publishers Springer International Publishing AG
Pages 158
Dimensions 150 × 220 × 10 mm   ·   334 g
Language English  

More by Roderick Bloem

Show all

See all of Roderick Bloem ( e.g. Paperback Book )