m

F Nous contacter

0
     
Congrès

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

American Mathematical Society

1997

203 p.

978-0-8218-0680-7

00019923

68Q60

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


Exemplaires

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