Cover is for reference only

Formal methods and software engineering：8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006 : proceedings

Saved in:
Bibliographic Details
Corporate Authors: International Conference on Formal Engineering Methods (8th 2006 Macau, China)
Group Author: Liu Zhiming, 1961-; He Jifeng, 1943-
Published: Springer,
Publisher Address: Berlin New York
Publication Dates: c2006.
Literature type: Book
Language: English
Series: Lecture notes in computer science ; 4260
Subjects:
Formal methods (Computer science)
Software engineering
Carrier Form: xii, 778 p.: ill. ; 24 cm.
Publication Frequency: Also issued online.
ISBN: 3540474609 (pbk.)
9783540474609 (pbk.)
Index Number: TP311
CLC: TP311.5-532
TP31.11-532
TP301.2-532
Call Number: TP311.5-532/I613-4/2006
Contents: Includes bibliographical references and index.

Related Book Recommendations