Formal methods fact file : VDM and Z / Andrew Harry.
Material type: TextSeries: Wiley series in software engineering practicePublication details: Chichester [England] ; New York : Wiley, 1996.Description: xv, 386 p.:4bill. ; 24 cmISBN:- 0471958573
- 0471940062 (cloth)
- 005.12 20
Item type | Current library | Call number | Copy number | Status | Date due | Barcode | Item holds | |
---|---|---|---|---|---|---|---|---|
Books | Central Library, KUET General Stacks | 005.12 HAR (Browse shelf(Opens below)) | 1 | Available | 3010027561 | |||
Books | Central Library, KUET General Stacks | 005.12 HAR (Browse shelf(Opens below)) | 2 | Available | 3010027563 | |||
Books | Central Library, KUET General Stacks | 005.12 HAR (Browse shelf(Opens below)) | 3 | Available | 3010031277 | |||
Books | Central Library, KUET General Stacks | 005.12 HAR (Browse shelf(Opens below)) | 4 | Available | 3010027562 |
Total holds: 0
Includes bibliographical references and index.
There are no comments on this title.
Log in to your account to post a comment.