m

F Nous contacter

0
     
Congrès

H 0 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)

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

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


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00019931 [disponible]
Z