m

F Nous contacter

0
     
Congrès

H 0 Computer aided verification:
12th international conference, CAV#July15-19

Emerson, Allen E. (Editeur) ; Sistla, Prasad A. (Editeur)

Springer-Verlag

2000

582p.

978-3-540-67770-3

00029966

00B25 ; 68-06 ; 68Q60 ; 68T35 ; 68T15

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

Pays d'édition : Allemagne

Langue : Anglais

EAN13 : 978354067773

ISBN : 3-540-67770-4

ISSN : 0302-9743

Collation : fig.#tables#24 cm#broch. ; Index

Collection : Lecture notes in computer science

N° de collection : 1855

Localisation : Collection 1er étage

Numéro de congrès : 12

Année de la rencontre : 2000

Ville du congrès : Chicago

Type Congrès : Congrès

Disponibilité : empruntable


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00029966 [disponible]
Z