Decidability of Parameterized Verification - Synthesis Lectures on Distributed Computing Theory - Roderick Bloem - Livres - Springer International Publishing AG - 9783031008832 - 29 septembre 2015
Si la couverture et le titre ne correspondent pas, le titre est correct.

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

Prix
€ 44,99

Commandé depuis un entrepôt distant

Livraison prévue 13 - 21 janv. 2026
Les cadeaux de Noël peuvent être échangés jusqu'au 31 janvier

Nos clients disent :

Politique de retour de 14 jours conformément à la loi européenne sur la protection des consommateurs
Meilleur classement sur Trustpilot
Ajouter à votre liste de souhaits iMusic

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.

Médias Livres     Paperback Book   (Livre avec couverture souple et dos collé)
Validé 29 septembre 2015
ISBN13 9783031008832
Éditeurs Springer International Publishing AG
Pages 158
Dimensions 150 × 220 × 10 mm   ·   334 g
Langue et grammaire Anglais  

Plus par Roderick Bloem

Afficher tout

Voir tous les Roderick Bloem ( par ex. Paperback Book )