Computer-aided verification:
2nd international conference, CAV'90#June18-21
informatique # méthodes de vérification assistée par ordinateur # langage logique # langage formel # algébres de processus
Publisher City : Berlin ; Heidelberg
Publisher country : Allemagne
Language : English
EAN13 : 978540544777
ISBN : 3-540-54477-1
Collation : fig.#tables#24 cm#broch. ; Bibliogr.
Series : Lecture notes in computer science
Nb in series : 0531
Location : Collection 1er étage
Event Number : 2
Event Year : 1990
City of congres : New Brunswick
Country of congres : États-Unis
Conference type : Congrès
Availability : empruntable
Level of authorization : Public
No. | Call n° | Bar code | Commentary | |
---|---|---|---|---|
1 | 00029969 | [available] |