Research Catalog

Integrated formal methods : Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings

Title: Integrated formal methods : Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings / Michael Butler, Luigia Petre, Kaisa Sere, eds.
Author: International Conference on Integrated Formal Methods (3rd : 2002 : Turku, Finland)
Publication: Berlin ; New York : Springer, c2002.

Available Online

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 02-1123	Offsite

Details

Additional Authors

Description

x, 399 p. : ill.; 24 cm.

Series Statement

Lecture notes in computer science, 0302-9743 ; 2335

Subject

Formal methods (Computer science) > Congresses

Bibliography (note)

Includes bibliographical references and index.

Additional Formats (note)

Also available via the World Wide Web.

Call Number

JSE 02-1123

ISBN

3540437037 (softcover : alk. paper)

LCCN

2002066996

OCLC

49664487

Conference

International Conference on Integrated Formal Methods (3rd : 2002 : Turku, Finland)

Title

Integrated formal methods : Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings / Michael Butler, Luigia Petre, Kaisa Sere, eds.

Imprint

Berlin ; New York : Springer, c2002.

Series

Lecture notes in computer science, 0302-9743 ; 2335

Bibliography

Includes bibliographical references and index.

Additional Formats

Also available via the World Wide Web.

Connect to:

Restricted to Springer LINK subscribers

Added Author

Butler, Michael, 1967-

Petre, Luigia, 1974-

Sere, K. (Kaisa), 1954-

Research Call Number

JSE 02-1123

View in Legacy Catalog