English
Partial order methods in verification :
DIMACS workshop Univerity of Princeton#July 24-26
Holzmann, Gerard J. (Editeur) ; Peled, Doron A. (Editeur) ; Pratt, Vaughan R. (Editeur)
1997
403 p.
978-0-8218-0579-4
00019931
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
Ville d'édition : Providence ; R.I.
Pays d'édition : États-Unis
Langue : Anglais
EAN13 : 9780821805794
ISBN : 0-8218-0579-7
Collation : 26 cm#rel. ; Bibliogr.
Collection : DIMACS series in discrete mathematics and theoretical computer science
N° de collection : 0029
Localisation : Collection 1er étage
Année de la rencontre : 1996
Ville du congrès : Princeton
Pays du congrès : États-Unis
Type Congrès : Congrès
Disponibilité : empruntable
Niveau d'autorisation : Public
Exemplaires
Nbre d'exemplaires : 1| N° | Cote | Code barre | Commentaire | |
|---|---|---|---|---|
| 1 | 00019931 | [disponible] |
