Your search returned 2 results.

Results
		Formal methods and software engineering : 12th international conference on formal engineering methods, ICFEM : proceedings, Shanghai, China, Nov. 17-19, 2010 (e-book) by Dong, Jin Song [Editor] \| Zhu, Huibiao [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6447 \| LNCS Sublibrary : SL 2 – Programming and Software Engineering Language: English Publication details: Berlin Springer 2010Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		Unifying theories of programming: 6th international symposium, UTP, proceedings, Reykjavik, Iceland, Jun. 4-5, 2016 (e-book) by Bowen, Jonathan P [Editor] \| Zhu, Huibiao [Editor]. Series: Lecture notes in computer science ; v.10134Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cham Springer 2017Online access: DOI URL Availability: Items available for reference: Online (1) . Add to cart (remove)

Refine your search