Z an introduction to formal methods
Material type:
TextPublisher: NEWYORK JOHN WILEY 1994Edition: 2NDDescription: 374PISBN: 0-471-93973-0Subject(s): Z (COMPUTER PROGRAM LANGUAGE)DDC classification: 005.12 DIL'Z
| Item type | Current location | Home library | Shelving location | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|---|
Book
|
College of Electrical & Mechanical Engineering (CEME) | College of Electrical & Mechanical Engineering (CEME) | General Stacks | 005.12 DIL'Z (Browse shelf) | Available | CEME-29845 |
Total holds: 0
There are no comments on this title.