Formal specification and design / L.M.G. Feijs & H.B.M. Jonkers
Material type:
TextSeries: Cambridge tracts in theoretical computer science ; v.35Publication details: New York : Cambridge University Press, 2005Edition: 1st pbk. versionDescription: 335 p. : ill. ; 25 cmISBN: - 9780521435925 (pbk.)
- 0521435927 (pbk.)
- 9780521434577 (hbk.)
- 0521434572 (hbk.)
| Item type | Current library | Call number | Copy number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|
|
|
UMPLIB PEKAN | QA76.76.D47 F44 2005 (Browse shelf(Opens below)) | 1 | Available | 0000043223 |
Includes index