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)
Bibliographic Details
Corporate Author: International Symposium of Formal Methods Europe Copenhagen, Denmark
Other Authors: Eriksson, L.-H. (Lars-Henrik), 1960-, Lindsay, Peter Alexander, 1957-
Format: Conference Proceeding Book
Language:English
Published: Berlin ; New York : Springer, [2002]
Series:Lecture notes in computer science ; 2391.
Lecture notes in computer science. Lecture notes in artificial intelligence.
Subjects:
Computer software > Development > Congresses.
Formal methods (Computer science) > Congresses.
System design > Mathematics > Congresses.
Description
Physical Description:xi, 624 pages : illustrations ; 24 cm.
Bibliography:Includes bibliographical references and index.
ISBN:3540439285 (softcover : alk. paper)
ISSN:0302-9743 ;