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

Niveau d'autorisation : Public

Exemplaires