Formal methods and software engineering
Subtitle: 10th international conference on formal engineering methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008 : proceedings
By: Shaoying Liu, Tom Maibaum, Keijiro Araki (eds.).
Contributors: Liu, Shaoying, 1960-; Maibaum, Thomas S. E., 1947-; Araki, Keijirō, 1954-
Series: Lecture notes in computer science -- 5256
Publisher: Springer
Published: 2008
Place of publication: [New York]
Language: eng
Number of pages: 396
ISBN-13: 9783540881933
Subjects: Formal methods (Computer science) -- Congresses; Software engineering -- Congresses
Genres: Congresses
Other titles: ICFEM 2008
Notes: Includes bibliographical references and index.