m

F Nous contacter

0
     
Congrès

H 0 Automatic verification methods for finite state systems:
international workshop#June12-14

Sifakis, J. (Editeur)

Springer-Verlag

1990

382p.

978-3-540-52148-8

00029974

00B15 ; 68-06 ; 68Q10 ; 68Q55 ; 68Q60

informatique # méthodes de calcul # sémantique # méthode de vérification assistée par ordinateur # spécification # protocoles de réseaux d'ordinateurs

Ville d'édition : Berlin ; Heidelberg

Pays d'édition : Allemagne

Langue : Anglais

EAN13 : 9783540521488

ISBN : 3-540-52148-8

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

Collection : Lecture notes in computer science

N° de collection : 0407

Localisation : Collection 1er étage

Numéro de congrès : 1

Année de la rencontre : 1989

Ville du congrès : Grenoble

Pays du congrès : France

Type Congrès : Congrès

Disponibilité : empruntable


Exemplaires

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