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

Decidability of Parameterized Verification - Synthesis Lectures on Distributed Computing Theory

Roderick Bloem

Price
元 376.95

Ordered from remote warehouse

Expected delivery Jul 24 - Aug 1

Our customers say:

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

Decidability of Parameterized Verification - Synthesis Lectures on Distributed Computing Theory

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 334 g
Language English  
Show all

More by Roderick Bloem

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