m
     
Congrès

H 0 Tools and algorithms for the construction and analysis of systems:
first international workshop, TACAS'95#May19-20

Brinksma, E. (Editeur) ; Cleaveland, W. R. (Editeur) ; Larsen, K. G. (Editeur) ; Margaria, T. (Editeur) ; Steffen, B.

Springer-Verlag

1995

289p.

978-3-540-60630-7

00029983

00B25 ; 68-06 ; 68M14 ; 68Q85 ; 68W15 ; 68N30

informatique # logique de programmation # softwere pour ingénieurs # algorithme de spécification # algorithme de vérification # algorithme d'analyse # algorithme de construction # algorithme de démonstration de théorème

Ville d'édition : Berlin ; Heidelberg

Pays d'édition : Allemagne

Langue : Anglais

EAN13 : 9783540606307

ISBN : 3-540-60630-0

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

Collection : Lecture notes in computer science

N° de collection : 1019

Localisation : Collection 1er étage

Numéro de congrès : 1

Année de la rencontre : 1995

Ville du congrès : Aarhus

Pays du congrès : Danemark

Type Congrès : Congrès

Disponibilité : empruntable


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00029983

[disponible]
Z