عنوان

FME 2003 :

3540408282 (alk. paper)

b513018

FME 2003 :

[Book]

formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : [proceedings] /

Keijiro Araki, Stefania Gnesi, Dino Mandrioli

New York :

Springer-Verlag,

2003

0308

942 p. :

ill. ;

24 cm

Lecture notes in computer science ;

2805

Includes bibliographical references and author index

Computer software-- Development, Congresses

Formal methods (Computer science), Congresses

System design-- Mathematics, Congresses

005

QA76

D47

I593

2003

Araki, Keijirō,1954-

Gnesi, Stefania,1954-

Mandrioli, Dino

International Symposium of Formal Methods Europe(12th :2003 :, Pisa, Italy)

20030929115012.0

[Book]