Cover Image

Formal methods and software engineering : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings /

Bibliographic Details
Corporate Author: International Conference on Formal Engineering Methods Seattle, Wash.
Other Authors: Davies, Jim, 1964-, Schulte, Wolfram, Barnett, Mike, 1957-
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer, [2004]
Series:Lecture notes in computer science ; 3308.
Subjects:
Formal methods (Computer science) > Congresses.
Software engineering > Congresses.
Online Access:Connect to the full text of this electronic book
Description
Physical Description:xiii, 500 pages : illustrations ; 24 cm.
Also issued online.
Bibliography:Includes bibliographical references and index.
ISBN:3540238417 (softcover : alk. paper)
ISSN:0302-9743 ;