Formal Methods for Open Object-Based Distributed Systems: 8th...

Buy Formal Methods for Open Object-Based Distributed Systems: 8th... here, one of many Distributed Systems books offered for sale at discount prices here at Rbookshop.com. We greatly appreciate your patronage at Rbookshop and look forward to offering you great products and prices now and in the future.

You Are Here: Home > Computer Books > Distributed Systems > Item 381

	Formal Methods for Open Object-Based Distributed Systems: 8th...
	by Roberto Gorrieri and Heike Wehrheim Sales Rank: 5808008	$79.95 At Amazon on 9-27-2008.

*Features* Cover Type: Paperback with 267 pages Published by: Springer Edition: 1st Edition July 26, 2006 Written in: English ISBN 10 Number: 354034893X ISBN 13 Number: 978-3540348931 Book Dimensions: 9.2 x 6.1 x 0.6 inches Weighs: 14.2 ounces *Product Description* This book constitutes the refereed proceedings of the 8th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2006, held in Bologna, Italy in June 2006. The 16 revised full papers presented together with an invited paper and abstracts of 2 invited talks were carefully reviewed and selected from 51 submissions. Among the topcis addressed are component- and model-based design, service-oriented computing, software quality, modeling languages implementation, formal specification, verification, validation, testing, and service-oriented systems. Back To Top
Formal Methods for Open Object-Based Distributed Systems: 8th... ~~List Price: $79.95~~ Available from Amazon Price: $79.95 Updated on 9-27-2008.

NOTICE: All prices, availability, and specifications
are subject to verification by their respective retailers.

We offer Formal Methods for Open Object-Based Distributed Systems: 8th... and other related Distributed Systems Books here at Rbookshop.com. To view more books about Distributed Systems please use the previous and next buttons near the top of this page.