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

Saved in:

Bibliographic Details
Meeting name:	International Conference on Formal Engineering Methods (7th : 2005 : Manchester, England)
Imprint:	Berlin ; New York : Springer, ©2005.
Description:	1 online resource (xiv, 496 pages) : illustrations.
Language:	English
Series:	Lecture notes in computer science, 0302-9743 ; 3785 Lecture notes in computer science ; 3785.
Subject:	Formal methods (Computer science) -- Congresses. Software engineering -- Congresses. Formal methods (Computer science) Software engineering. Conference papers and proceedings.
Format:	E-Resource Book
URL for this record:	http://pi.lib.uchicago.edu/1001/cat/bib/11068665

Hidden Bibliographic Details
Varying Form of Title:	7th International Conference on Formal Engineering Methods International Conference on Formal Engineering Methods ICFEM 2005
Other authors / contributors:	Lau, K.-K. (Kung-Kiu), 1953- Banach, Richard.
ISBN:	9783540322504 3540322507 3540297979 9783540297970
Notes:	Includes bibliographical references and index. Print version record.
Other form:	Print version: International Conference on Formal Engineering Methods (7th : 2005 : Manchester, England). Formal methods and software engineering. Berlin ; New York : Springer, ©2005 3540297979 9783540297970
Standard no.:	9783540297970

Similar Items