CENTRAL LIBRARY

Welcome to Online Public Access Catalogue (OPAC)

Your search returned 2 results. Subscribe to this search

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

by Harry, Andrew.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Chichester [England] ; New York : Wiley, 1996Online access: Table of Contents | Publisher description Availability: Items available for loan: [Call number: 005.12 HAR] (4).
2. Industrial used of formal method : formal verification / edited by Jean-Louis Boulanger.

by Boulanger, Jean-Louis.

Material type: book Book; Format: available online remote; Literary form: Not fiction Publisher: London : Hoboken, NJ : ISTE ; Wiley, ©2012Online access: Wiley Online Library Availability: No items available

Khulna University of Engineering & Technology

Funded by: HEQEP, UGC, Bangladesh