Your search returned 3 results.

Not what you expected? Check for suggestions

Results
		Concise guide to formal methods : theory, fundamentals and industry applications / Gerard O'Regan. by O'Regan, Gerard (Cornelius Gerard) [author.] Series: Undergraduate topics in computer science Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2017 Online access: Click here to access online Availability: Not available: FIRST CITY UNIVERSITY COLLEGE: e-book (1). Lists: eBooks_FEC. Add to cart (remove)
		Formal ontology in information systems : proceedings of the 9th International Conference (FOIS 2016) / edited by Roberta Ferrario and Werner Kuhn. by FOIS (Conference) (9th : 2016 : Annecy, France) Ferrario, Roberta [editor.] Kuhn, Werner, 1957- [editor.] IOS Press Series: Frontiers in artificial intelligence and applications ; v. 283. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Amsterdam, Netherlands : IOS Press, 2016 Other title: FOIS 2016 Online access: Click here to access online Availability: No items available. Add to cart (remove)
		Formal Specification Using Z by Lightfoot, David Series: Grassroots Series Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: London Palgrave 2001 Availability: Items available for loan: FIRST CITY UNIVERSITY COLLEGE (4)Call number: 005.133 LIG, ... Place hold Add to cart (remove)

Refine your search