|
" FME 2003 : "
Keijiro Araki, Stefania Gnesi, Dino Mandrioli
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
690829
|
| Doc. No
|
:
|
b513018
|
| Main Entry
|
:
|
International Symposium of Formal Methods Europe(12th :2003 :, Pisa, Italy)
|
| Title & Author
|
:
|
FME 2003 : : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : [proceedings] /\ Keijiro Araki, Stefania Gnesi, Dino Mandrioli
|
| Publication Statement
|
:
|
Berlin ;New York :: Springer-Verlag,, 2003
|
| Series Statement
|
:
|
Lecture notes in computer science ;
|
| Page. NO
|
:
|
942 p. :: ill. ;; 24 cm
|
| ISBN
|
:
|
3540408282 (alk. paper)
|
| Bibliographies/Indexes
|
:
|
Includes bibliographical references and author index
|
| Subject
|
:
|
Computer software-- Development, Congresses
|
| Subject
|
:
|
Formal methods (Computer science), Congresses
|
| Subject
|
:
|
System design-- Mathematics, Congresses
|
| Dewey Classification
|
:
|
005.1
|
| LC Classification
|
:
|
QA76.76.D47I593 2003
|
| Added Entry
|
:
|
Araki, Keijirō,1954-
|
|
|
:
|
Gnesi, Stefania,1954-
|
|
|
:
|
Mandrioli, Dino
|
| |