عنوان

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

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

11th : 2002 : Copenhagen, Denmark

Berlin

Springer-Verlag

c2002

xi, ]625[ p.: ill

Lecture notes in computer science; 1932

Includes bibliographies

ISBN: 3540439285

Lars-Henrik Eriksson, Peter Alexander Lindsay )eds.(

Congresses ، Computer software -- Development

Congresses ، Formal methods )Computer science(

Mathematics -- Congresses ، System design

L28

Vol

2391

AU Eriksson, Lars-Henrik, 1960-

AU Lindsay, Peter Alexander, 1957-

International Symposium of Formal Methods Europe