CENTRAL LIBRARY

Welcome to Online Public Access Catalogue (OPAC)

Amazon cover image
Image from Amazon.com

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

By: Material type: TextTextSeries: Wiley series in software engineering practicePublication details: Chichester [England] ; New York : Wiley, 1996.Description: xv, 386 p.:4bill. ; 24 cmISBN:
  • 0471958573
  • 0471940062 (cloth)
Subject(s): DDC classification:
  • 005.12 20
Online resources:
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
Item type Current library Call number Copy number Status Date due Barcode Item holds
Books Books Central Library, KUET General Stacks 005.12 HAR (Browse shelf(Opens below)) 1 Available 3010027561
Books Books Central Library, KUET General Stacks 005.12 HAR (Browse shelf(Opens below)) 2 Available 3010027563
Books Books Central Library, KUET General Stacks 005.12 HAR (Browse shelf(Opens below)) 3 Available 3010031277
Books 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.

to post a comment.

Khulna University of Engineering & Technology

Funded by: HEQEP, UGC, Bangladesh