Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings /

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 - Berlin : Springer, 2005 - 496 p. : ill. ; 24 cm - Lecture notes in computer science .

3540297979


Formal methods (Computer science)--Congresses
Software engineering--Congresses

Perpustakaan Universiti Malaysia Pahang Al-Sultan Abdullah
26600 Pekan, Pahang Darul Makmur
Phone: +609 431 5063 (Gambang) / +609 431 5035 (Pekan)
Email: umplibrary@umpsa.edu.my

Connect With Us
Copyright © Universiti Malaysia Pahang Al-Sultan Abdullah (UMPSA). All Rights Reserved.