Research Catalog
FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings
- Title
- FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings / Keijiro Araki, Stefania Gnesi, Dino Mandrioli (eds.).
- Author
- International Symposium of Formal Methods Europe (12th : 2003 : Pisa, Italy)
- Publication
- Berlin ; New York : Springer, c2003.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSE 03-1857 | Offsite |
Details
- Additional Authors
- Description
- xvii, 942 p. : ill.; 24 cm.
- Series Statement
- Lecture notes in computer science ; 2805
- Subjects
- Bibliography (note)
- Includes bibliographical references.
- Call Number
- JSE 03-1857
- ISBN
- 3540408282 (alk. paper)
- LCCN
- 2003058587
- OCLC
- 52858527
- Conference
- International Symposium of Formal Methods Europe (12th : 2003 : Pisa, Italy)
- Title
- FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings / Keijiro Araki, Stefania Gnesi, Dino Mandrioli (eds.).
- Imprint
- Berlin ; New York : Springer, c2003.
- Series
- Lecture notes in computer science ; 2805
- Bibliography
- Includes bibliographical references.
- Added Author
- Araki, Keijirō, 1954-Gnesi, Stefania, 1954-Mandrioli, Dino.
- Research Call Number
- JSE 03-1857