Formal Techniques for Networked and Distributed Systems - FORTE 2007: 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings - Programming and Software Engineering 4574 (Paperback)John Derrick (volume editor), Juri Vain (volume editor)
- We can order this
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.
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Number of pages: 378
Weight: 599 g
Dimensions: 235 x 155 x 20 mm
Edition: 2007 ed.
You may also be interested in...
Please sign in to write a review