Formal methods fact file : VDM and Z / Andrew Harry.
By: Harry, Andrew
.
Material type: 
BookSeries: Wiley series in software engineering practice.Publisher: Chichester [England] ; New York : Wiley, 1996Description: xv, 386 p.:4bill. ; 24 cm.ISBN: 0471958573; 0471940062 (cloth).Subject(s): Computer software -- Development | Formal methods (Computer science)DDC classification: 005.12 Online resources: Table of Contents | Publisher description
| Item type | Current location | Call number | Copy number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|
Books
|
Central Library, KUET General Stacks | 005.12 HAR (Browse shelf) | 1 | Available | 3010027561 | ||
|
Books
|
Central Library, KUET General Stacks | 005.12 HAR (Browse shelf) | 2 | Available | 3010027563 | ||
|
Books
|
Central Library, KUET General Stacks | 005.12 HAR (Browse shelf) | 3 | Available | 3010031277 | ||
|
Books
|
Central Library, KUET General Stacks | 005.12 HAR (Browse shelf) | 4 | Available | 3010027562 |
Total holds: 0
Browsing Central Library, KUET Shelves , Shelving location: General Stacks Close shelf browser
|
|
|
|
|
|
|
||
| 005.12 DES Design patterns : | 005.12 DES Design patterns : | 005.12 DES Design patterns : | 005.12 HAR Formal methods fact file : | 005.12 HAR Formal methods fact file : | 005.12 HAR Formal methods fact file : | 005.12 HAR Formal methods fact file : |
Includes bibliographical references and index.
There are no comments for this item.