Computer aided verification:
9th international conference, CAV'97#June 22-25
informatique # méthodes de vérification assistée par ordinateur # logique de programmation # softwere pour ingénieurs # circuits integrés # algorithme de démonstration # déduction
Ville d'édition : Berlin ; Heidelberg
Pays d'édition : Allemagne
Langue : Anglais
EAN13 : 9783540631668
ISBN : 3-540-63166-6
ISSN : 0302-9743
Collation : fig.#tables#24 cm#broch. ; Index
Collection : Lecture notes in computer science
N° de collection : 1254
Localisation : Collection 1er étage
Numéro de congrès : 9
Année de la rencontre : 1997
Ville du congrès : Haifa
Pays du congrès : Israël
Type Congrès : Congrès
Disponibilité : empruntable
Niveau d'autorisation : Public
N° | Cote | Code barre | Commentaire | |
---|---|---|---|---|
1 | 00029967 | [disponible] |