Dhaka University Library Online catalog › Results of search for 'su,complete-subfield:"Formal methods (Computer science)"'

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

	1.		Formal methods for industrial critical systems : a survey of applications / [electronic resource] by Gnesi, Stefania; Margaria-Steffen, Tiziana. Material type: Book; Format: available online ; Literary form: not fiction Publisher: [Washington, DC] : IEEE Computer Society ; [2013]Online Access: Wiley Online Library Availability: No items available Add to cart (remove)
	2.		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)
	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)

Dhaka University Library Online