Teaching and learning formal methods.
Material type: TextSeries: (Academic Press International series in formal methods)London. ; Academic Press, 1996Description: xvi, 285 pages : : illustrationsISBN:- 0123490405
Item type | Current library | Home library | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
Books | Chinhoyi University of Technology Libraries | Chinhoyi University of Technology Libraries | LB 1025.2 TEA (Browse shelf(Opens below)) | 018145 | Available | BK0009248 |
Includes bibliographical references and index.
There are no comments on this title.