Your search returned 2 results.

Results
		Formal methods and software engineering : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006 : proceedings / Zhiming Liu, Jifeng He (eds.) by International Conference on Formal Engineering Methods (8th : 2006 : Macau, China) Liu, Zhiming He, Jifeng Series: Lecture notes in computer science ; 2495 Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Berlin : Springer, 2006 Availability: Items available for loan: UMPLIB PEKAN (1)Call number: QA76.9.F67 I58 2006. Place hold Log in to add tags Add to cart (remove)
		Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings / edited by Kung-Kiu Lau, Richard Banach by International Conference on Formal Engineering Methods (7th : 2005 : Manchester, England) Lau, Kung-Kiu Banach, Richard Series: Lecture notes in computer science Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Adult; Publication details: Berlin : Springer, 2005 Online resources: Connect to resource online Availability: Items available for loan: UMPLIB PEKAN (1)Call number: QA76.9 .F67 I58 2005. Place hold Log in to add tags Add to cart (remove)

Refine your search