Teaching and learning formal methods / edited by C. Neville Dean and Michael G. Hinchey.

Contributor(s): Dean, Neville C | Hinchey, Michael G. (Michael Gerard), 1969-Material type: TextTextSeries: 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 1996
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
Item type Current library Collection Call number Copy number Status Date due Barcode
Book 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.

to post a comment.
European Union Digital Greece ESPA Default