Formal methods in computer-aided design:
first international conference, FMCAD'96#Nov.6-8
informatique # circuits integrés # conception assistée par ordinateur # démonstration automatique de théorème # langage formel # optimisation
Ville d'édition : Berlin ; Heidelberg
Pays d'édition : Allemagne
Langue : Anglais
EAN13 : 9783540619376
ISSN : 0302-9743
Collation : fig.#tables#24 cm#broch. ; Index
Collection : Lecture notes in computer science
N° de collection : 1166
Localisation : Collection 1er étage
Numéro de congrès : 1
Année de la rencontre : 1996
Ville du congrès : Palo Alto
Pays du congrès : États-Unis
Type Congrès : Congrès
Disponibilité : empruntable
Niveau d'autorisation : Public
N° | Cote | Code barre | Commentaire | |
---|---|---|---|---|
1 | 00029975 | [disponible] |