Introductory logic and formal methods / David Heath, Derek Allum, Lynne Dunckley.
Material type:
TextPublication details: Henley-on-Thames : Alfred Waller, 1994Description: 224p. : ill. ; 24cmISBN: 1872474101 (pbk.); 9781872474106 (pbk.)Subject(s): Computer software -- Development | Z (Computer program language) | Software Development Mathematical modelsDDC classification: 005.1 LOC classification: QA76.63 | .H43 1994
| Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|---|
General Circulation
|
APU Library Open Shelf | Book | QA76.63 .H43 1994 c.1 (Browse shelf (Opens below)) | 1 | Available (No use restrictions) | 00008349 |
Bibliography: p214. _ Includes index.
There are no comments on this title.