2 options
FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings / Keijiro Araki, Stefania Gnesi, Dino Mandrioli.
LIBRA QA76.76.D47 I593 2003
Available from offsite location
LIBRA Q341 .P7 2004
Available from offsite location
- Format:
- Book
- Conference/Event
- Conference Name:
- International Symposium of Formal Methods Europe (12th : 2003 : Pisa, Italy)
- Series:
- Lecture notes in computer science 0302-9743 ; 2805.
- Lecture notes in computer science, 0302-9743 ; 2805
- Language:
- English
- Subjects (All):
- Computer software--Development--Congresses.
- Computer software.
- Computer software--Development.
- Formal methods (Computer science)--Congresses.
- Formal methods (Computer science).
- System design--Mathematics--Congresses.
- System design.
- Mathematics.
- Genre:
- Conference papers and proceedings.
- Physical Description:
- xvii, 942 pages : illustrations ; 24 cm.
- Other Title:
- Formal Methods 2003
- Place of Publication:
- Berlin ; New York : Springer-Verlag, [2003]
- Notes:
- Includes bibliographical references and index.
- ISBN:
- 3540408282
- OCLC:
- 52858527
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.