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
Browsing College of Electrical & Mechanical Engineering (CEME) shelves, Shelving location: General Stacks Close shelf browser
| No cover image available | ||||||||
| 005.12 BRI'W Bringing design to software | 005.12 BUD Software design | 005.12 DEC'O Object oriented system development | 005.12 DIL'Z Z an introduction to formal methods | 005.12 GAM Design patterns, elements of reusable object-oriented software | 005.12 GAM Design Patterns Elements of Reusable Object Oriented Software | 005.12 GAM Design Patterns Elements of Reusable Object Oriented Software |
There are no comments on this title.