Computer aided verification:
10th international conference, CAV'98#june28-july2
informatique # méthode 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 ; Allemagne
Langue : Anglais
EAN13 : 9783540646082
ISBN : 3-540-64608-6
ISSN : 0302-9743
Collation : fig.#tables#24 cm#broch.
Collection : Lecture notes in computer science
N° de collection : 1427
Localisation : Collection 1er étage
Numéro de congrès : 10
Année de la rencontre : 1998
Ville du congrès : Vancouver
Pays du congrès : Canada
Type Congrès : Congrès
Disponibilité : empruntable
Niveau d'autorisation : Public
N° | Cote | Code barre | Commentaire | |
---|---|---|---|---|
1 | 00029965 | [disponible] |