Franklin

Formal methods and software engineering [electronic resource] : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings / Kung-Kiu Lau, Richard Banach (eds.).

Other Title:
7th International Conference on Formal Engineering Methods
Seventh International Conference on Formal Engineering Methods
International Conference on Formal Engineering Methods
ICFEM 2005
Publication:
Berlin : Springer, 2005.
Conference Name:
International Conference on Formal Engineering Methods (7th : 2005 : Manchester, England)
Series:
Lecture notes in computer science; 3785.
Lecture notes in computer science
Format/Description:
Conference/Event
Book
xiv, 496 p. : ill.
Subjects:
Formal methods (Computer science) -- Congresses.
Software engineering -- Congresses.
System Details:
Mode of access: World Wide Web.
Notes:
Title from PDF title page (viewed November 2, 2005)
Includes bibliographical references and index.
Contributor:
Lau, K.-K (Kung-Kiu), 1953-
Banach, Richard.
ISBN:
3540297979
9783540297970
OCLC:
62292359
Access Restriction:
Restricted for use by site license.
Location Notes Your Loan Policy
Description Status Barcode Your Loan Policy