Decidability of Parameterized Verification - Synthesis Lectures on Distributed Computing Theory - Roderick Bloem - Kirjat - Springer International Publishing AG - 9783031008832 - tiistai 29. syyskuuta 2015
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

Vastaanota sähköposti kun titteli on saatavilla
Onko sinulla profiili? Kirjaudu sisään
Saat ilmoituksen artistin Roderick Bloem uusista julkaisuista

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
tai

Ei vielä arvioitu

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 Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä tiistai 29. syyskuuta 2015
ISBN13 9783031008832
Tuottaja Springer International Publishing AG
Sivujen määrä 158
Mitta 150 × 220 × 10 mm   ·   334 g
Kieli Englanti  

Lisää tuotteita Roderick Bloem

Näytä kaikki

Lisää samalta julkaisijalta

Katso kaikki joka sisältää Roderick Bloem ( Esim. Paperback Book )