m

F Nous contacter

0
     
Congrès

H 0 Computer aided verification:
3rd international workshop, CAV'91#July1-4

Larsen, K. G. (Editeur) ; Skou, A. (Editeur)

Springer-Verlag

1992

487p.

978-3-540-55179-9

00029968

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

informatique # méthodes de verification assistée par ordinateur # langage logique # langage formel # algorithme de démonstration de théorèmes # controleurs hardwere # protocole de communication # système en temps réel

Ville d'édition : Berlin ; Heidelberg

Pays d'édition : Allemagne

Langue : Anglais

EAN13 : 9783540551799

ISBN : 3-540-55179-4

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

Collection : Lecture notes in computer science

N° de collection : 0575

Nom de la rencontre : Collections 1er étage

Numéro de congrès : 3

Année de la rencontre : 1991

Ville du congrès : Aalborg

Pays du congrès : Danemark

Type Congrès : Congrès

Disponibilité : empruntable


Exemplaires

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