m
     
Ouvrage

H 0 Computer-aided verification of coordinating processes :
the automata-theoretic approach

Kurshan, Robert P. (Principal)

Princeton University Press

1994

270 p.

978-0-691-03436-2

00019597

06Exx ; 68Q68 ; 68U07 ; 93Bxx ; 93C60

COSPAN # affinement # algèbre booléen # analyse des systèmes # approche par la théorie des automates # complexité des systèmes # délais # homomorphisme de relèvement # induction structurel # logique # modèle asynchrone # modèle de sélection-résolution # modélisation de l'asynchronicité # modélisation mathématique des systèmes # processus d'automate # processus de coordinateur # processus p-adic # réduction automorphique des symétries # réduction de la vérification # réduction homomorphique # structure algébrique # système de commande # système de vérification # temps continue # temps discret # théorème d'induction algorithmique # vérification assisté par ordinateur

Ville d'édition : Princeton

Pays d'édition : États-Unis

Langue : Anglais

EAN13 : 9780691034362

ISBN : 0-691-03436-2

Collation : Bibligor. ; glossaire#24 cm#rel. ; Index

Collection : Princeton series in computer science

Localisation : Ouvrage RdC (KURS)

Type d'ouvrage : Monographie

Disponibilité : empruntable


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00019597

[disponible]
Z