m

F Nous contacter

0
     
Congrès

H 0 Computer-aided verification'90 :
proceedings of a DIMACS Workshop, Rutgers University#June 18-20

Clarke, E. M. (Editeur) ; Kurshan, R. P. (Editeur)

American Mathematical Society

1991

628 p.

978-0-8218-6594-1

00015876

68M15 ; 68Q05 ; 68Q60

analyse des systèmes # calcul # circuit digital intégré # conception calcul assisté # conception et construction # condition de finitude # configuration machine # environnement et analyse des réseaux de petri # logique # lotos # papetri # processus # simulation optimal # spécification # système concurent # traitement des données # vérification des systèmes

Ville d'édition : Grenoble

Pays d'édition : États-Unis

Langue : Anglais

EAN13 : 9780821865941

ISBN : 0-8218-6594-3

Collation : Bibliogr. ; xii#fig.#26 cm#rel.

Collection : DIMACS series in discrete mathematics and theoretical computer science

N° de collection : 0003

Localisation : Collection 1er étage

Nom de la rencontre : proceedings of a DIMACS Workshop

Année de la rencontre : 1990

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 00015876 [disponible]
Z