Formal Methods for Open Object-Based Distributed Systems 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings
by Gilles Barthe
Available
Ships From London
Free Shipping within U.K
International Shipping?
Check Delivery Estimate and
Delivery Charges
for your country
Publisher: | Springer |
Published In: | 29-May-2008 |
ISBN-10: | 3540688625 |
ISBN-13: | 9783540688624 |
Binding Type: | Paperback |
Weight: | 460 gms |
Pages: | pp. 276, 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss |
The Title "Formal Methods for Open Object-Based Distributed Systems 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings 1st Edition" is written by Gilles Barthe. This book was published in the year 2008. The ISBN number 3540688625|9783540688624 is assigned to the Hardback version of this title. This book has total of pp. x + 259 (Pages). The publisher of this title is Springer. We have about 138114 other great books from this publisher. Formal Methods for Open Object-Based Distributed Systems 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings 1st Edition is currently Available with us.