Research Catalog

FME 2002 : formal methods--getting IT right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 : proceedings

Title: FME 2002 : formal methods--getting IT right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 : proceedings / Lars-Henrik Eriksson, Peter Alexander Lindsay (eds.).
Author: International Symposium of Formal Methods Europe (11th : 2002 : Copenhagen, Denmark)
Publication: Berlin ; New York : Springer, c2002.

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-1837	Offsite

Details

Additional Authors

Description

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

Series Statement

Lecture notes in computer science ; 2391

Subjects

Bibliography (note)

Includes bibliographical references and index.

Additional Formats (note)

Also available via the World Wide Web.

Call Number

JSE 02-1837

ISBN

3540439285 (softcover : alk. paper)

LCCN

2002026690

OCLC

50123531

Conference

International Symposium of Formal Methods Europe (11th : 2002 : Copenhagen, Denmark)

Title

FME 2002 : formal methods--getting IT right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 : proceedings / Lars-Henrik Eriksson, Peter Alexander Lindsay (eds.).

Imprint

Berlin ; New York : Springer, c2002.

Series

Lecture notes in computer science ; 2391

Bibliography

Includes bibliographical references and index.

Additional Formats

Also available via the World Wide Web.

Added Author

Eriksson, L.-H. (Lars-Henrik), 1960-

Lindsay, Peter Alexander, 1957-

Research Call Number

JSE 02-1837

View in Legacy Catalog