The spin verification system :
the second workshop on... proceedings of a DIMACS workshop held at Rutgers University#Aug. 5
Grégoire, Jean-Charles (Editor) ; Holzmann, Gerard J. (Editor) ; Peled, Doron A. (Editor)
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
Publisher City : Providence ; R.I.
Publisher country : États-Unis
Language : English
EAN13 : 9780821806807
ISBN : 0-8218-0680-7
Collation : Bibliogr. ; fig.#26 cm#rel.
Series : DIMACS series in discrete mathematics and theoretical computer science
Nb in series : 0032
Location : Collection 1er étage
Event Year : 1996
City of congres : New Brunswick
Country of congres : États-Unis
Conference type : Congrès
Availability : empruntable
Level of authorization : Public
No. | Call n° | Bar code | Commentary | |
---|---|---|---|---|
1 | 00019923 | [available] |