Cover Image

Integrated formal methods : 4th international conference, IFM 2004, Canterbury, UK, April 4-7, 2004 ; proceedings /

Show other versions (1)
Bibliographic Details
Corporate Author: International Conference on Integrated Formal Methods Canterbury, England
Other Authors: Boiten, Eerke, 1966-, Derrick, John, 1963-, Smith, Graeme, 1966-
Format: Conference Proceeding Book
Language:English
Published: Berlin ; Hong Kong : Springer-Verlag, [2004]
Series:Lecture notes in computer science. 2999.
Subjects:
Formal methods (Computer science) > Congresses.
Description
Physical Description:xi, 540 pages : figures, tables ; 24 cm.
Bibliography:Includes bibliographical references and index.
ISBN:3540213775 (pbk.)
ISSN:0302-9743 ;