Your search returned 8 results.

Not what you expected? Check for suggestions

Results
	1.	Process algebra for parallel and distributed processing [electronic resource] / edited by Michael Alexander, William Gardner. by Alexander, Michael, 1970 Sept. 25- Gardner, William, 1952- Series: Material type: Text; Format: electronic ; Literary form: Not fiction Publication details: Boca Raton, Fla. : CRC Press, c2009 Online access: Read Online / DOWNLOAD. Availability: No items available. Add to cart (remove)
	2.	Modeling in Event-B : System and Software Engineering / Jean-Raymond Abrial. by Abrial, Jean-Raymond [author.] Material type: Text; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2010 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3.	Languages, design methods, and tools for electronic system design. Marie-Minerve Louërat; Torsten Maehne by Louërat, Marie-Minerve Maehne, Torsten Material type: Text; Format: print ; Literary form: Not fiction Publication details: New york. : Springer, ©2015 Availability: Items available for loan: Central Library, SUST (3)Call number: 004.015113 LAN, ... Place hold Add to cart (remove)
	4.	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: Text; Format: available online ; Literary form: Not fiction Publisher: [Washington, DC] : Hoboken, New Jersey : IEEE Computer Society ; Wiley, [2013]Copyright date: ©2013 Online access: Wiley Online Library [Free Download only for SUST IP] Availability: No items available. Add to cart (remove)
	5.	Industrial used of formal method : formal verification / edited by Jean-Louis Boulanger. by Boulanger, Jean-Louis Material type: Text; Format: available online ; Literary form: Not fiction Publication details: London : Hoboken, NJ : ISTE ; Wiley, ©2012 Online access: Wiley Online Library [Free Download only for SUST IP] Availability: No items available. Add to cart (remove)
	6.	Formal methods applied to industrial complex systems / edited by Jean-Louis Boulanger. by Boulanger, Jean-Louis [editor.] Series: Computer engineering series (London, England) Material type: Text; Format: available online ; Literary form: Not fiction Publisher: London : Hoboken, NJ : ISTE, Ltd. ; Wiley, 2014 Online access: Wiley Online Library [Free Download only for SUST IP] Availability: No items available. Add to cart (remove)
	7.	Formal methods applied to complex systems : implementation of the B Method / edited by Jean-Louis Boulanger. by Boulanger, Jean-Louis [editor.] Series: Computer engineering series (London, England) Material type: Text; Format: available online ; Literary form: Not fiction Publisher: London : Hoboken, NJ : ISTE ; Wiley, 2014 Online access: Wiley Online Library [Free Download only for SUST IP] Availability: No items available. Add to cart (remove)
	8.	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: Text; Format: available online ; Literary form: Not fiction Publisher: [Washington, DC] : Hoboken, New Jersey : IEEE Computer Society ; Wiley, [2013]Copyright date: ©2013 Online access: Wiley Online Library [Free Download only for SUST IP] Availability: No items available. Add to cart (remove)