Program derivation : the development of programs from specifications / Geoff Dromey.
Material type: TextSeries: International computer science seriesPublication details: Sydney ; Reading, Mass. : Addison-Wesley, c1989Description: xvi, 630 p. : ill. ; 24 cmISBN: 0201416247 (pbk.)Subject(s): Computer programmingDDC classification: 005.12 LOC classification: QA76.6 | .D76 1989Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
General Circulation | APU Library Open Shelf | Book | QA76.6 .D76 1989 c.1 (Browse shelf (Opens below)) | 1 | Available (No use restrictions) | 00008888 |
Includes bibliographical references and index.
There are no comments on this title.