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 / Kung-Kiu Lau, Richard Banach (eds.)

Show other versions (3)

Saved in:

Bibliographic Details
Online Access:	Full Text (via Springer)
Corporate Author:	International Conference on Formal Engineering Methods Manchester, England
Other Authors:	Lau, K.-K. (Kung-Kiu), 1953-, Banach, Richard
Other title:	7th International Conference on Formal Engineering Methods. International Conference on Formal Engineering Methods. ICFEM 2005.
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, ©2005.
Series:	Lecture notes in computer science ; 3785.
Subjects:	Formal methods (Computer science) > Congresses. Software engineering > Congresses. Formal methods (Computer science) Software engineering. Conference papers and proceedings.

Internet

Full Text (via Springer)

Online

Holdings details from Online
Call Number:	QA76.9.F67 I5788 2005
QA76.9.F67 I5788 2005	Available