APPLICATIONS of formal methods / edited by Michael G.Hinchey and Jonathan P.Bowen
Contributor(s): Hinchey, Michael G [Editor].
Publisher: London Prentice Hall 1995Description: xvii,447p.ISBN: 133669491.Subject(s): Engineering Design | Enginneering - ManagementDDC classification: 620.0042Item type | Current location | Collection | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
Books in Stacks (S) | Main Library Science & Technology | S | 620.0042 APP (Browse shelf) | Available | 136336 |
Includes index
There are no comments for this item.