Français
Tools and algorithms for the construction and analysis of systems:
5th international workshop, TACAS'99#March22-25 held as part of the ETAPS'99#March22-28
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 : 9783540657033
ISBN : 3-540-65703-7
ISSN : 0302-9743
Collation : fig.#tables#24 cm#broch. ; Bibliogr. ; Index
Series : Lecture notes in computer science
Nb in series : 1579
Location : Collection 1er étage
Event Number : 5
Event Year : 1999
City of congres : Amsterdam
Country of congres : Pays-Bas
Conference type : Congrès
Availability : empruntable
Level of authorization : Public
Copies
Number of copies : 1| No. | Call n° | Bar code | Commentary | |
|---|---|---|---|---|
| 1 | 00029986 | [available] |
