Français
Logics of programs :
workshop on logics of programs was held at carnegie mellon university#June 6-8
Congrès
Publisher City : Berlin ; Heidelberg ; N.Y.
Publisher country : États-Unis
Language : English
EAN13 : 9783540128960
ISBN : 3-540-12896-4
Collation : 24 cm#broch. ; Bibliogr.
Series : Lecture notes in computer science
Nb in series : 0164
Location : Collection 1er étage
Event Year : 1983
City of congres : Pitsburg
Conference type : Congrès
Availability : empruntable
Level of authorization : Public
Copies
Number of copies : 1| No. | Call n° | Bar code | Commentary | |
|---|---|---|---|---|
| 1 | 00010179 | [available] |
