CENTRAL LIBRARY

Welcome to Online Public Access Catalogue (OPAC)

Your search returned 7 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. Formal methods for industrial critical systems : a survey of applications / edited by Stefania Gnesi, Tiziana Margaria.

by Gnesi, Stefania, 1954- [editor.] | Margaria-Steffen, Tiziana, 1964- [editor.].

Material type: book Book; Format: available online remote; Literary form: Not fiction Publisher: [Washington, DC] : Hoboken, New Jersey : IEEE Computer Society ; Wiley, [2013]Copyright date: ©2013Online access: Wiley Online Library Availability: No items available
3. 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
4. Formal methods applied to industrial complex systems / edited by Jean-Louis Boulanger.

by Boulanger, Jean-Louis [editor.].

Material type: book Book; Format: available online remote; Literary form: Not fiction Publisher: London : Hoboken, NJ : ISTE, Ltd. ; Wiley, 2014Online access: Wiley Online Library Availability: No items available
5. Formal methods applied to complex systems : implementation of the B Method / edited by Jean-Louis Boulanger.

by Boulanger, Jean-Louis [editor.].

Material type: book Book; Format: available online remote; Literary form: Not fiction Publisher: London : Hoboken, NJ : ISTE ; Wiley, 2014Online access: Wiley Online Library Availability: No items available
6. Formal methods for industrial critical systems : a survey of applications / edited by Stefania Gnesi, Tiziana Margaria.

by Gnesi, Stefania, 1954- [editor.] | Margaria-Steffen, Tiziana, 1964- [editor.].

Material type: book Book; Format: available online remote; Literary form: Not fiction Publisher: [Washington, DC] : Hoboken, New Jersey : IEEE Computer Society ; Wiley, [2013]Copyright date: ©2013Online access: Wiley Online Library Availability: No items available
7. Process algebra for parallel and distributed processing [electronic resource] / edited by Michael Alexander, William Gardner.

by Alexander, Michael, 1970 Sept. 25- | Gardner, William, 1952-.

Material type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Boca Raton, Fla. : CRC Press, 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