Computer aided verification:
11th international conference, CAV'99#July 6-10
informatique # méthodes de vérification assistée par ordinateur # spécification # modélisation de systèmes # algorithme de démonstration de théorèmes
Publisher City : Berlin ; Heidelberg
Publisher country : Allemagne
Language : English
EAN13 : 9783540662020
ISBN : 3-540-66202-2
ISSN : 0302-9743
Collation : fig.#tables#24 cm#broch. ; Index
Series : Lecture notes in computer science
Nb in series : 1633
Location : Collection 1er étage
Event Number : 11
Event Year : 1999
City of congres : Trento
Country of congres : Italie
Conference type : Congrès
Availability : empruntable
Level of authorization : Public
No. | Call n° | Bar code | Commentary | |
---|---|---|---|---|
1 | 00029971 | [available] |
||
2 | 00030114 | [available] |