عنوان

FME 2002 :

3540439285 (softcover : alk. paper)

b513013

FME 2002 :

[Book]

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

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

New York :

Springer,

2002

0208

xi, 624 p. :

ill. ;

24 cm

Lecture notes in computer science ;

2391

Includes bibliographical references and author index

FME 2002

Computer software-- Development, Congresses

Formal methods (Computer science), Congresses

System design-- Mathematics, Congresses

005

QA76

D47

I593

2002

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

Lindsay, Peter Alexander,1957-

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

20020813083412.0

[Book]