Store besparelser
Hurtig levering
Fri fragt over 499,-
Gemte
Log ind
0
Kurv
Kurv
Decidability of Parameterized Verification
Engelsk
Bogcover for Decidability of Parameterized Verification af Igor Konnov, Swen Jacobs, Ayrat Kalimov, Roderick Bloem, 9783031008832
Specifikationer
Sprog:
Engelsk
Sider:
158
ISBN-13:
9783031008832
Indbinding:
Paperback
ISBN-10:
3031008839
Kategori:
Udg. Dato:
29 sep 2015
Størrelse i cm:
23,5 x 19,1
Oplagsdato:
29 sep 2015

Decidability of Parameterized Verification

Engelsk
Paperback 2015
Format:

Bog 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.
... Vis mere

Forlags Vejl. pris
465,98 kr
Hos Booktok
374 kr
spar 20%
Læg i kurv nu
Sikker betaling
23 - 25 hverdage

Specifikationer
Sprog:
Engelsk
Sider:
158
ISBN-13:
9783031008832
Indbinding:
Paperback
ISBN-10:
3031008839
Kategori:
Udg. Dato:
29 sep 2015
Størrelse i cm:
23,5 x 19,1
Oplagsdato:
29 sep 2015
Finder produkter...
Kategori sammenhænge