Decidability of Parameterized Verification (Bog, Paperback / softback, Engelsk) af Roderick Bloem
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Informationsteori
  5. Kodeteori og kryptologi
  6. Algoritmer og datastrukturer
  7. Informatik
  8. Decidability of Parameterized Verification

Decidability of Parameterized Verification

(Bog, Paperback / softback, Engelsk)
Forfattere: Roderick Bloem, Swen Jacobs, Ayrat Kalimov, Igor Konnov
Decidability of Parameterized Verification
Forlag: Springer International Publishing AG

Bemærk: Kan ikke leveres før jul.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Algoritmer og datastrukturer Informatik Informationsteori Kodeteori og kryptologi
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

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.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer International Publishing AG
Forfattere Roderick Bloem, Swen Jacobs, Ayrat Kalimov, Igor Konnov
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgivelsesdato 29-09-2015
Første udgivelsesår 2015
Serie Synthesis Lectures on Distributed Computing Theory
Illustrationer XI, 158 p.
Originalsprog Switzerland
Sideantal 158
Indbinding Paperback / softback
Forlag Springer International Publishing AG
Sideoplysninger 158 pages, XI, 158 p.
Mål 235 x 191
ISBN-13 / EAN-13 9783031008832