FM 2005 formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 : proceedings /
"This volume contains the proceedings of Formal Methods 2005, the 13th International Symposium on Formal Methods held in Newcastle upon Tyne, UK, during July 18-22, 2005."
| Corporate Authors: | International Symposium of Formal Methods Europe Newcastle upon Tyne, England) |
|---|---|
| Other Authors: | International Symposium of Formal Methods Europe, Fitzgerald, John, 1965-, Hayes, Ian., Tarlecki, Andrzej., SpringerLink (Online service) |
| Format: | eBook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
2005.
Berlin ; New York : 2005. |
| Physical Description: |
1 online resource (xiv, 558 pages) : illustrations. |
| Series: |
Lecture notes in computer science ;
3582. |
| Subjects: |
CMU Electronic Access
Electronic Resource Click Here| Location | Call Number: | Status |
|---|---|---|
| CMU Electronic Access | Available |