| Title | Formal techniques for networked and distributed systems-- FORTE 2007: 27th IFIP WG 6.1 international conference, Tallinn, Estonia, June 27-29, 2007: proceedings |
|---|---|
| Author | John Derrick, Jüri Vain |
| Year | 2007 |
| Edition | 1 |
| Volume | |
| Series | |
| Publisher | Springer |
| City | Stanford |
| Language | English |
Size: 4.7MB | Pages: 385 |
LLC: N/A | DDC:
Related Books
- No Related Books!