Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 203 p.
ISBN 978-0-8218-0680-7
DIMACS series in discrete mathematics and theoretical computer science , 0032
Localisation : Collection 1er étage
informatique théorique # mathématique discrète # spécification de système # système de vérification
68Q60
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 403 p.
ISBN 978-0-8218-0579-4
DIMACS series in discrete mathematics and theoretical computer science , 0029
Localisation : Collection 1er étage
classe de complexité # informatique théorique # langage formel # processus des données électroniques # processus distribué # programme # software # spécification # sémantique # théorie d'automate # vérification
68Q10 ; 68Q45 ; 68Q55 ; 68Q60
... Lire [+]