Record Detail
Try Advanced Search
Text
Using Z Specification, Refinement, and Proof
- Share to:
Description Not Available
Availability
| 398.2015 | 005.12 WOO u | My Library | Available |
Detail Information
| Series Title |
-
|
|---|---|
| Call Number |
005.12 WOO u
|
| Publisher | Prentice Hall : New Jersey., 1996 |
| Collation |
xvi, 386 p. : illus. : tab. ; 23 cm.
|
| Language |
English
|
| ISBN/ISSN |
9780139484728
|
| Classification |
005.12
|
| Content Type |
-
|
| Media Type |
-
|
|---|---|
| Carrier Type |
-
|
| Edition |
-
|
| Subject(s) | |
| Specific Detail Info |
Rak B
|
| Statement of Responsibility |
Jim Woodcock and Jim Davies
|
| Collection Type |
Buku Sirkulasi
|
Other version/related
No other version available
