Your search returned 5 results.

Not what you expected? Check for suggestions

Results
		Formal Specification Using Z / David Lightfoot. by Lightfoot, David, 1951- Series: Edition: 2nd ed. Material type: Text Publication details: Basingstoke : Palgrave, 2001 Availability: Items available for loan: Central Library (4)Call number: 005.133 LIG, ... Items available for reference: Central Library: Not for loan (1)Call number: 005.133 LIG. Log in to add tags Add to cart (remove)
		Formal Software Development : from VDM to Java / Quentin Charatan and Aaron Kans. by Charatan, Quentin Kans, Aaron Material type: Text; Literary form: Not fiction Publication details: Basingstoke : Palgrave Macmillan, 2004 Availability: Items available for loan: Central Library (4)Call number: 005.1 CHA, ... Items available for reference: Central Library: Not for loan (1)Call number: 005.1 CHA. Log in to add tags Add to cart (remove)
		Validated designs for object-oriented systems / John Fitzgerald ... [et al.]. by Fitzgerald, John, 1965- Material type: Text; Literary form: Not fiction ; Audience: Specialized; Publication details: London : Springer, c.2005 Availability: Items available for loan: Central Library (2)Call number: 005.117 VAL, ... Log in to add tags Add to cart (remove)
		Practical UML statecharts in C/C++ : event-driven programming for embedded systems / Miro Samek. by Samek, Miro Edition: 2nd ed. Material type: Text; Literary form: Not fiction ; Audience: Specialized; Publication details: Boca Raton : CRC Press / Taylor and Francis Group, c.2009 Availability: Items available for loan: Central Library (2)Call number: 005.117 SAM, ... Log in to add tags Add to cart (remove)
		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; Literary form: Not fiction ; Audience: Specialized; Publication details: Hoboken : IEEE Computer Society ; John Wiley & Sons, c.2013 Online access: Contributor biographical information Table of contents only Availability: Items available for loan: Central Library (1)Call number: 004.0151 FOR. Log in to add tags Add to cart (remove)

© BUE Library 2020