Decidability of Parameterized Verification - Synthesis Lectures on Distributed Computing Theory - Roderick Bloem - Bøger - Springer International Publishing AG - 9783031008832 - 29. september 2015
Ved uoverensstemmelse mellem cover og titel gælder titel

Decidability of Parameterized Verification - Synthesis Lectures on Distributed Computing Theory

Roderick Bloem

Pris
A$ 95,61

Bestilles fra fjernlager

Forventes klar til forsendelse 22. - 28. jul.

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
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.

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 29. september 2015
ISBN13 9783031008832
Forlag Springer International Publishing AG
Antal sider 158
Mål 334 g
Sprog Engelsk  
Vis alle

Mere med Roderick Bloem

Se alt med Roderick Bloem ( f.eks. Paperback Bog )