Your search returned 3 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)
		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)

Refine your search