| NCID | BA27865222 |
| タイトル | Using Z : specification, refinement, and proof / Jim Woodcock and Jim Davies |
| 出版者 | London ; Tokyo : Prentice Hall , 1996 |
| 形態 | xvi, 386 p. : ill. ; 24 cm |
| 注記 | Includes index
Some printings published: Harlow ; Tokyo : Pearson Education |
| シリーズ名 | Prentice-Hall International series in computer science
|
| 分類 | LCC:QA76.73.Z2
DC20:005.1/2 |
| 件名 | LCSH:Z(Computerprogramlanguage)
|
| 著者情報 | Woodcock, James
Davies, Jim, 1964-
|
| 和洋区分 | 洋 |
| 標題言語 | 英語 |
| 本文言語 | 英語 |
| 出版国 | イギリス |
| ISBN | 0139484728
|
| 番号 | LCCN : 96004347 |