CENTRAL LIBRARY

Welcome to Online Public Access Catalogue (OPAC)

Your search returned 2 results. Subscribe to this search

|
1. 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
2. Data flow analysis [electronic resource] : theory and practice / Uday P. Khedker, Amitabha Sanyal, Bageshri Karkare.

by Khedker, Uday | Sanyal, Amitabha | Karkare, Bageshri.

Material type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Boca Raton : CRC Press/Taylor & Francis, c2009Online access: Distributed by publisher. Purchase or institutional license may be required for access. Availability: No items available

Khulna University of Engineering & Technology

Funded by: HEQEP, UGC, Bangladesh