Tell your friends about this item:
Formal Techniques for Networked and Distributed Systems - FORTE 2007: 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings - Lecture Notes in Computer Science 2007 edition
John Derrick
Formal Techniques for Networked and Distributed Systems - FORTE 2007: 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings - Lecture Notes in Computer Science 2007 edition
John Derrick
This book constitutes the refereed proceedings of the 27th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2007, held in Tallinn, Estonia, in September 2007 co-located with TestCom/FATES 2007.
389 pages, biography
Media | Books Paperback Book (Book with soft cover and glued back) |
Released | June 12, 2007 |
ISBN13 | 9783540731955 |
Publishers | Springer-Verlag Berlin and Heidelberg Gm |
Pages | 378 |
Dimensions | 155 × 235 × 20 mm · 548 g |
Language | French |
Editor | Derrick, John |
Editor | Vain, Juri |