Dhaka University Library Online catalog › 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)
- B method (Computer s... (1)
- Computer simulation. (1)
- Computer software (2)
- COMPUTERS (4)
- Debugging in compute... (1)
- Formal methods (Comp... (3)
- Industrial managemen... (1)
- Nondestructive testi... (1)
- Systems engineering (1)
- TECHNOLOGY & ENGINEE... (1)

	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)

Dhaka University Library Online

Refine your search

Authors

Item types

Series

Topics