The Way of Z : Practical Programming with Formal Methods
Material type:
TextPublisher number: HCLPublication details: USA ; Cambridge University Press , 1997.Description: xviii; 350 pISBN: - 9780521559768
- 005.12 JAC
| Item type | Current library | Call number | Status | Barcode | |
|---|---|---|---|---|---|
HCL Collection
|
SNU LIBRARY | 005.12 JAC (Browse shelf(Opens below)) | Withdrawn | H12845 |
Total holds: 0
There are no comments on this title.
Log in to your account to post a comment.