Image from Amazon.com
Applications of formal methods / / edited by Michael G. Hinchey and Jonathan P. Bowen.
Material type:
TextSeries: Prentice-Hall International series in computer sciencePublication details: London ; New York : : Prentice Hall, 1995.Description: xvii, 447 p. : : ill. ; ; 25 cmISBN: - 0133669491
- 005.131 APP 1995
| Item type | Current library | Home library | Collection | Shelving location | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|---|---|
Open Collection
|
FIRST CITY UNIVERSITY COLLEGE | FIRST CITY UNIVERSITY COLLEGE | Open Collection | FCUC Library | 005.131 APP 1995 (Browse shelf(Opens below)) | Available | 00005275 |
Total holds: 0
Includes bibliographical references (p. 421-437) and index.