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. Static analysis of software : the abstract interpretation / edited by Jean-Louis Boulanger.

by Boulanger, Jean-Louis.

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

Khulna University of Engineering & Technology

Funded by: HEQEP, UGC, Bangladesh