Logics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983 /
| Copyright: | 1984 |
|---|---|
| ISBN: | 3540128964 |
| LCCN: | QA76.6.L595 |
| Publisher: | Berlin : Springer-Verlag, |
| Physical Details: | VI, 527 p. : ill. ; 25 cm. |
| Record No.: | 2131 |
| Type/Format | Call Number | Location | Due Date | Last Seen | Barcode |
|---|---|---|---|---|---|
 Books |
-LNCS164 | Istituto di Ingegneria Biomedica | 2010-04-13 | LADSEB2727 |