Formal Techniques for Networked and Distributed Systems - FORTE 2007
Download or Read eBook Formal Techniques for Networked and Distributed Systems - FORTE 2007 PDF written by John Derrick and published by Springer Science & Business Media. This book was released on 2007-06-12 with total page 385 pages. Available in PDF, EPUB and Kindle.
| Author | : John Derrick |
| Publisher | : Springer Science & Business Media |
| Total Pages | : 385 |
| Release | : 2007-06-12 |
| ISBN-10 | : 9783540731955 |
| ISBN-13 | : 3540731954 |
| Rating | : 4/5 (55 Downloads) |
Book Synopsis Formal Techniques for Networked and Distributed Systems - FORTE 2007 by : John Derrick
Book excerpt: 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. It covers service oriented computing and architectures using formalized and verified approaches.
