| 서명 / 저자 |
An introduction to formal specification and Z / Ben Potter, Jane Sinclair, David Till.
|
| 저자명 |
Potter, Ben.;Sinclair, Jane.;Till, David. |
| 판사항 |
2nd ed.
|
| 발행사항 |
London ; New York : Prentice Hall, 1996.
|
| 총서명 |
Prentice-Hall international series in computer science
|
