Tools and algorithms for the construction and analysis of systems:
second international workshop, TACAS'96#March27-29
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 : 9783540610427
ISBN : 3-540-61042-1
Collation : fig.#tables#24 cm#broch. ; Index
Collection : Lecture notes in computer science
N° de collection : 1055
Localisation : Collection 1er étage
Numéro de congrès : 2
Année de la rencontre : 1996
Ville du congrès : Passau
Pays du congrès : Allemagne
Type Congrès : Congrès
Disponibilité : empruntable
Niveau d'autorisation : Public
N° | Cote | Code barre | Commentaire | |
---|---|---|---|---|
1 | 00029984 | [disponible] |