CENTRAL LIBRARY

Welcome to Online Public Access Catalogue (OPAC)

Normal view MARC view ISBD view

Formal methods fact file : VDM and Z / Andrew Harry.

By: Harry, Andrew.
Material type: materialTypeLabelBookSeries: 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
Tags from this library: No tags from this library for this title. Log in to add tags.
Item type Current location Call number Copy number Status Date due Barcode Item holds
Books Books Central Library, KUET
General Stacks
005.12 HAR (Browse shelf) 1 Available 3010027561
Books Books Central Library, KUET
General Stacks
005.12 HAR (Browse shelf) 2 Available 3010027563
Books Books Central Library, KUET
General Stacks
005.12 HAR (Browse shelf) 3 Available 3010031277
Books Books Central Library, KUET
General Stacks
005.12 HAR (Browse shelf) 4 Available 3010027562
Total holds: 0

Includes bibliographical references and index.

There are no comments for this item.

Log in to your account to post a comment.

Khulna University of Engineering & Technology

Funded by: HEQEP, UGC, Bangladesh