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

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

Bookmarks Report an error
Congrès

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

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

Publisher City : Grenoble

Publisher country : États-Unis

Language : English

EAN13 : 9780821865941

ISBN : 0-8218-6594-3

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

Series : DIMACS series in discrete mathematics and theoretical computer science

Nb in series : 0003

Location : Collection 1er étage

Event Title : proceedings of a DIMACS Workshop

Event Year : 1990

City of congres : New Brunswick

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 00015876 [available]
Bookmarks Report an error