Image from Amazon.com
Formal methods fact file : VDM and Z / Andrew Harry.
Series: Wiley series in software engineering practicePublication details: Chichester [England] : John Wiley & Sons, 1996.Description: xv, 386 p.: ill. ; 24 cmISBN:- 0471940062
| Item type | Current library | Home library | Collection | Call number | Materials specified | Copy number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|---|---|---|
| AM | PERPUSTAKAAN TUN SERI LANANG | PERPUSTAKAAN TUN SERI LANANG KOLEKSI AM-P. TUN SERI LANANG (ARAS 5) | - | QA76.76.D47H374 (Browse shelf(Opens below)) | 1 | Available | 00001245772 |
Includes bibliographical references (p. 365-366) and index.
There are no comments on this title.
Log in to your account to post a comment.