Software Engineering Mathematics: Formal Methods Demystified
Material type:
TextPublication details: London Pitman 1988Description: 291pISBN: 0273026739 ; 9780273026730 DDC classification: 004.0151
| Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|
Lending Books
|
Main Library Stacks | Reference | 004.0151 WOO (Browse shelf(Opens below)) | Available | 000613 |
Total holds: 0
Browsing Main Library shelves, Shelving location: Stacks, Collection: Reference Close shelf browser (Hides shelf browser)
| 004.0151 MOR The theory of computation | 004.0151 NAT Theory of Computation | 004.0151 NAT Theory of Computation | 004.0151 WOO Software Engineering Mathematics: Formal Methods Demystified | 004.015192 MOT Randomized algorithms | 004.019 HUM Human-computer interaction | 004.019 HUM Human-computer interaction |
Click on an image to view it in the image viewer
There are no comments on this title.