Cover Image

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

Show other versions (1)

This book constitutes the refereed proceedings of the international symposium Formal Methods Europe, FME 2002, held in Copenhagen, Denmark, in July 2002. The 31 revised full papers presented together with three invited contributions were carefully reviewed and selected from 95 submissions. All curre...

Full description

Bibliographic Details
Corporate Authors: International Symposium of Formal Methods Europe Copenhagen, Denmark, SpringerLink (Online service)
Other Authors: Eriksson, L.-H. (Lars-Henrik), 1960-, Lindsay, Peter Alexander, 1957-
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer, [2002]
Series:Lecture notes in computer science ; 2391.
Subjects:
Computer software > Development > Congresses.
Formal methods (Computer science) > Congresses.
System design > Mathematics > Congresses.
Electronic books.
Online Access:Connect to the full text of this electronic book

Internet

Connect to the full text of this electronic book

Available Online

Holdings details from Available Online
Call Number: QA76.76.D47 I593 2002
 
Call Number Status Get It
QA76.76.D47 I593 2002 Available