 |
 |
Area della Ricerca di Padova
|
Specification and transformation of programs : a formal approach to software development /
by Partsch, Helmut A.
Normal View ISBD View
Series:
Texts and monographs in computer science
Published by :
Springer-Verlag,
(Berlin ; New York : )
Physical details: XIII, 493 p. : ill. ; 25 cm.
Subject(s):
Computer software--Development
Year : 1990
No tags for this title.
| Item type | Location | Call Number | Copy | Status | Date Due |
|---|---|---|---|---|---|
| Books | Istituto di Ingegneria Biomedica | QA76.76.D47P37 (Browse Shelf) | 1 | Available |
Browsing Istituto di Ingegneria Biomedica Shelves Close Shelf Browser
Important links here.
There are no comments for this item.