Specification and transformation of programs : a formal approach to software development / ; By Partsch, Helmut A.
| Copyright: | 1990 |
|---|---|
| ISBN: | 0387523561 |
| LCCN: | QA76.76.D47P37 |
| Publisher: | Berlin ; New York : Springer-Verlag, |
| Physical Details: | XIII, 493 p. : ill. ; 25 cm. |
| Record No.: | 3036 |
| Type/Format | Call Number | Location | Due Date | Last Seen | Barcode |
|---|---|---|---|---|---|
 Books |
QA76.76.D47P37 | Istituto di Ingegneria Biomedica | 2010-04-13 | LADSEB3723 |