Decidability of Parameterized Verification - Synthesis Lectures on Distributed Computing Theory - Roderick Bloem - Boeken - Springer International Publishing AG - 9783031008832 - 29 september 2015
Indien omslag en titel niet overeenkomen, is de titel correct

Decidability of Parameterized Verification - Synthesis Lectures on Distributed Computing Theory

Roderick Bloem

Prijs
Kč 1.143

Besteld in een afgelegen magazijn

Verwachte levering 7 - 15 aug.
Voeg toe aan uw iMusic-verlanglijst
Eller

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 Boeken     Paperback Book   (Boek met zachte kaft en gelijmde rug)
Vrijgegeven 29 september 2015
ISBN13 9783031008832
Uitgevers Springer International Publishing AG
Pagina's 158
Afmetingen 334 g
Taal en grammatica Engels  

Alles tonen

Meer door Roderick Bloem