Decidability of Parameterized Verification - Synthesis Lectures on Distributed Computing Theory - Roderick Bloem - Böcker - Springer International Publishing AG - 9783031008832 - 29 september 2015
Om omslag och titel inte matchar är det titeln som gäller

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

Få ett e-postmeddelande när artikeln är tillgänglig
Har du en profil? Logga in
Få avisering om nya utgåvor med Roderick Bloem

Våra kunder säger:

14 dagars returrätt
Toppbetyg på Trustpilot
Lägg till din iMusic-önskelista
eller

Inte betygsatt ännu

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 Böcker     Pocketbok   (Bok med mjukt omslag och limmad rygg)
Releasedatum 29 september 2015
ISBN13 9783031008832
Utgivare Springer International Publishing AG
Antal sidor 158
Mått 150 × 220 × 10 mm   ·   334 g
Språk Engelska  

Fler produkter med Roderick Bloem

Visa alla

Mer från samma **utgivare**

Se alt med Roderick Bloem ( t.ex. Pocketbok )