English
The spin verification system :
the second workshop on... proceedings of a DIMACS workshop held at Rutgers University#Aug. 5
Grégoire, Jean-Charles (Editeur) ; Holzmann, Gerard J. (Editeur) ; Peled, Doron A. (Editeur)
1997
203 p.
978-0-8218-0680-7
00019923
informatique théorique # mathématique discrète # spécification de système # système de vérification
Ville d'édition : Providence ; R.I.
Pays d'édition : États-Unis
Langue : Anglais
EAN13 : 9780821806807
ISBN : 0-8218-0680-7
Collation : Bibliogr. ; fig.#26 cm#rel.
Collection : DIMACS series in discrete mathematics and theoretical computer science
N° de collection : 0032
Localisation : Collection 1er étage
Année de la rencontre : 1996
Ville du congrès : New Brunswick
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 | 00019923 | [disponible] |
