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 |
Browsing APU Library shelves, Shelving location: Open Shelf, Collection: Book Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| QA76.63 .F37 2011 c.2 Programming logic and design : | QA76.63 .F37 2011 c.2 Programming logic and design : | QA76.63 .F37 2011 c.3 Programming logic and design : | QA76.63 .H43 1994 c.1 Introductory logic and formal methods / | QA76.64 .A47 1998 c.1 The design patterns Smalltalk companion / | QA76.64 .A84 2009 c.2 Object-oriented systems analysis and design / | QA76.64 .A84 2009 c.3 Object-oriented systems analysis and design / |
Bibliography: p214. _ Includes index.
There are no comments on this title.