Teaching and learning formal methods / edited by C. Neville Dean and Michael G. Hinchey.
Material type: TextSeries: International series in formal methodsPublication details: London : Academic Press, 1996Description: xvi, 285 p. : ill. ; 23 cmISBN: 0123490405Subject(s): Computer science -- Study and teaching | Electronic data processing -- Study and teachingLOC classification: QA76.27 | .T73 1996Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
Book | University of Macedonia Library Βιβλιοστάσιο Α (Stack Room A) | Main Collection | QA76.27.T73 1996 (Browse shelf (Opens below)) | 1 | Available | 0013067764 |
Includes bibliographical references and index.
There are no comments on this title.