| Title | FM 2005: Formal Methods: International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. Proceedings |
|---|---|
| Author | Mathai Joseph (auth.), John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki (eds.) |
| Year | 2005 |
| Edition | 1 |
| Volume | |
| Series | Lecture Notes in Computer Science 3582 : Programming and Software Engineering |
| Publisher | Springer-Verlag Berlin Heidelberg |
| City | |
| Language | English |
Size: 5.44MB | Pages: 558 |
LLC: N/A | DDC:
Related Books
- No Related Books!