Cover is for reference only

Formal methods and software engineering：10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008 : proceedings

Saved in:
Bibliographic Details
Corporate Authors: International Conference on Formal Engineering Methods (10th 2008 Kitakyūshū-shi, Japan); SpringerLink (Online service)
Group Author: Maibaum Thomas S. E. 1947-; Araki Keijirō, 1954-; Liu Shaoying
Published: Springer,
Publisher Address: Berlin
Publication Dates: c2008.
Literature type: Book
Language: English
Series: Lecture notes in computer science ; 5256
Subjects:
Software engineering
Electronic books.
Formal methods (Computer science)
Online Access: http://dx.doi.org/10.1007/978-3-540-88194-0
Carrier Form: 1 online resource (xi, 396 p.): ill. (some col.)
ISBN: 9783540881940 (electronic bk.)
3540881948 (electronic bk.)
Index Number: TP311
CLC: TP311.5-532
Contents: Includes bibliographical references and index.

Related Book Recommendations