Your search returned 2 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 Methods: Foundations and Applications : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings / edited by Simone Cavalheiro, José Fiadeiro. by Cavalheiro, Simone [Editor] Fiadeiro, José [Editor] Edition: 1st ed. 2017. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: 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)

Refine your search