Tools and algorithms for the construction and analysis of systems:
first international workshop, TACAS'95#May19-20
Brinksma, E. (Editor) ; Cleaveland, W. R. (Editor) ; Larsen, K. G. (Editor) ; Margaria, T. (Editor) ; 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
Publisher City : Berlin ; Heidelberg
Publisher country : Allemagne
Language : English
EAN13 : 9783540606307
ISBN : 3-540-60630-0
Collation : fig.#tables#24 cm#broch. ; Index
Series : Lecture notes in computer science
Nb in series : 1019
Location : Collection 1er étage
Event Number : 1
Event Year : 1995
City of congres : Aarhus
Country of congres : Danemark
Conference type : Congrès
Availability : empruntable
Level of authorization : Public
No. | Call n° | Bar code | Commentary | |
---|---|---|---|---|
1 | 00029983 | [available] |