Cover is for reference only

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
Corporate Authors: International Conference on Formal Engineering Methods (7th 2005 Manchester, England)
Group Author: Lau K.-K.; (Kung-Kiu), 1953-; Banach Richard.
Published: Springer,
Publisher Address: Berlin New York
Publication Dates: c2005.
Literature type: Book
Language: English
Series: Lecture notes in computer science ; 3785
Subjects:
Formal methods (Computer science)
Software engineering
Carrier Form: xiv, 496 p.: ill. ; 24 cm.
Publication Frequency: Also issued online.
ISBN: 3540297979 (pbk.)
9783540297970 (pbk.)
Index Number: TP311
CLC: TP311.5-532
TP311.11-532
TP301.2-532
Call Number: TP311.5-532/I613-4/2005
Contents: Includes bibliographical references and index.

Related Book Recommendations