English
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.
1995
289p.
978-3-540-60630-7
00029983
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 la Rencontre : 1
Année de la rencontre : 1995
Ville du congrès : Aarhus
Pays du congrès : Danemark
Type de congrès : Congrès
Disponibilité : empruntable
Niveau d'autorisation : Public
Exemplaires
Nbre d'exemplaires : 1| N° | Cote | Code barre | Commentaire | |
|---|---|---|---|---|
| 1 | 00029983 | [disponible] |
