Formal specification using z: a modelling approach / [by] Leonardo Bottaci, John Jones
By: BOTTACI, Leonardo | Jones, John.
Publisher: London Internatonal Thomson pub. 1995Description: xii, 320 p.ISBN: 1850321094.Subject(s): AlgorithmsDDC classification: 518.1| Item type | Current location | Collection | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
Books in Reference (R)
|
Main Library Science & Technology | R | 518.1 BOT (Browse shelf) | Available | 140569 |
Includes bibliography & appendix.
There are no comments for this item.