Research Catalog

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

Title: Integrated formal methods : 4th international conference, IFM 2004, Canterbury, UK, April 4-7, 2004 ; proceedings / Eerke A. Boiten, John Derrick, Graeme Smith (eds.).
Author: International Conference on Integrated Formal Methods (4th : 2004 : Canterbury, England)
Publication: Berlin ; Hong Kong : Springer-Verlag, c2004.

Items in the Library & Off-site

Filter by

1 Item

Item details
Status	Format	Access	Call Number	Item Location
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	Text	Request in advance	JSE 04-958	Offsite

Details

Additional Authors

Description

xi, 540 p. : ill.; 24 cm.

Series Statement

Lecture notes in computer science, 0302-9743 ; 2999

Alternative Title

IFM 2004

Subject

Formal methods (Computer science) > Congresses

Bibliography (note)

Includes bibliographical references and index.

Call Number

JSE 04-958

ISBN

3540213775 (pbk.)

OCLC

54880786

Conference

International Conference on Integrated Formal Methods (4th : 2004 : Canterbury, England)

Title

Integrated formal methods : 4th international conference, IFM 2004, Canterbury, UK, April 4-7, 2004 ; proceedings / Eerke A. Boiten, John Derrick, Graeme Smith (eds.).

Imprint

Berlin ; Hong Kong : Springer-Verlag, c2004.

Series

Lecture notes in computer science, 0302-9743 ; 2999

Bibliography

Includes bibliographical references and index.

Added Author

Boiten, Eerke, 1966-

Derrick, John, 1963-

Smith, Graeme, 1966-

Research Call Number

JSE 04-958

View in Legacy Catalog