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 New York
Free Shipping within U.S.A
International Shipping?
Check Delivery Estimate and
Shipping Cost
for your country
| Publisher: | Springer |
| Published In: | 29-May-2008 |
| ISBN-10: | 3540688625 |
| ISBN-13: | 9783540688624 |
| Binding Type: | Paperback |
| Weight: | 1.01 lbs |
| 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. The book displayed here is a 1st Edition edition. 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.