Dhaka University Library Online

Your cart is empty.

Cart
- Your cart is empty.
Lists

Log in to your account
Search history [x]

Search

Advanced search
Authority search
Tag cloud

Log in to your account

Login: Password:

DUL

Cancel

Home ›
Results of search for 'au:"Boulanger, Jean-Louis."'

Refine your search

Availability
- Limit to currently available items.
Authors
- Boulanger, Jean-Loui... (3)
- Boulanger, Jean-Loui... (3)
Item types
- Books (4)
Series
- Computer engineering... (2)
- ISTE (1)
Topics
- Application software (2)
- Computer software (2)
- COMPUTERS (4)
- Formal methods (Comp... (3)
- Nondestructive testi... (1)
- Show more

Your search returned 6 results.

Unhighlight Highlight

|

	1.		Industrial used of formal method : formal verification / [electronic resource] by Boulanger, Jean-Louis. Material type: Book; Format: available online ; Literary form: not fiction Publisher: London : Hoboken, NJ : ISTE ; Wiley, ©2012Online Access: Wiley Online Library Availability: No items available Add to cart (remove)
	2.		Static analysis of software : the abstract interpretation / [electronic resource] by Boulanger, Jean-Louis. Material type: Book; Format: available online ; Literary form: not fiction Publisher: London, UK ; Hoboken, NJ : ISTE/Wiley, 2012Online Access: Wiley Online Library Availability: No items available Add to cart (remove)
	3.		Formal methods applied to industrial complex systems / [electronic resource] by Boulanger, Jean-Louis. Material type: Book; Format: available online ; Literary form: not fiction Publisher: London : ISTE, Ltd. ; 2014.Online Access: Wiley Online Library Availability: No items available Add to cart (remove)
	4.		Formal methods applied to complex systems : implementation of the B Method / [electronic resource] by Boulanger, Jean-Louis. Material type: Book; Format: available online ; Literary form: not fiction Publisher: London : ISTE ; 2014.Online Access: Wiley Online Library Availability: No items available Add to cart (remove)
	5.		Certifiable software applications. [electronic resource] 1, Main processes by Boulanger, Jean-Louis. Material type: Book; Format: available online ; Literary form: not fiction Publisher: London : ISTE, 2016Other title: Main processes.Online Access: ScienceDirect Availability: No items available Add to cart (remove)
	6.		Certifiable software applications. [electronic resource] 2, Support processes by Boulanger, Jean-Louis. Material type: Book; Format: available online ; Literary form: not fiction Publisher: London : ISTE Press, 2016.Other title: Support processes.Online Access: ScienceDirect Availability: No items available Add to cart (remove)

Last Updated on September 15, 2019
© Dhaka University Library. All Rights Reserved|Staff Login