Computer-aided verification'90 :
proceedings of a DIMACS Workshop, Rutgers University#June 18-20
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
Niveau d'autorisation : Public
N° | Cote | Code barre | Commentaire | |
---|---|---|---|---|
1 | 00015876 | [disponible] |