Partial order methods in verification :
DIMACS workshop Univerity of Princeton#July 24-26
Holzmann, Gerard J. (Editor) ; Peled, Doron A. (Editor) ; Pratt, Vaughan R. (Editor)
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
Publisher City : Providence ; R.I.
Publisher country : États-Unis
Language : English
EAN13 : 9780821805794
ISBN : 0-8218-0579-7
Collation : 26 cm#rel. ; Bibliogr.
Series : DIMACS series in discrete mathematics and theoretical computer science
Nb in series : 0029
Location : Collection 1er étage
Event Year : 1996
City of congres : Princeton
Country of congres : États-Unis
Conference type : Congrès
Availability : empruntable
Level of authorization : Public
No. | Call n° | Bar code | Commentary | |
---|---|---|---|---|
1 | 00019931 | [available] |