En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK
0

Partial order methods in verification :
DIMACS workshop Univerity of Princeton#July 24-26

Bookmarks Report an error
Congrès

Holzmann, Gerard J. (Editor) ; Peled, Doron A. (Editor) ; Pratt, Vaughan R. (Editor)

American Mathematical Society

1997

403 p.

978-0-8218-0579-4

00019931

68Q10 ; 68Q45 ; 68Q55 ; 68Q60

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


Copies

Number of copies : 1
No. Call n° Bar code Commentary
1 00019931 [available]
Bookmarks Report an error