Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, . / Programming and Software Engineering)
Language: English
Published by Springer, 2006
- Softcover
- Used
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.GuthrieBooks
AbeBooks seller since February 1, 2007
Condition: Used - Very good
US$ 8.54
Quantity: 1 available
Add to basketItem description from seller
Seller Inventory # DA1411713
- Title
- Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, . / Programming and Software Engineering)
- Author
- Gorrieri, Roberto [Editor]; Wehrheim, Heike [Editor];
- Publisher
- Springer
- Publication year
- 2006
- Condition
- Very Good
- Binding
- Paperback
- Language
- English
- ISBN 10
- 354034893X
- ISBN 13
- 9783540348931
- Item weight
- 16 ounces
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, June 2006. The book presents 16 revised full papers together with an invited paper and abstracts of 2 invited talks. Coverage includes component- and model-based design, service-oriented computing, software quality, modeling languages implementation, formal specification, verification, validation, testing, and service-oriented systems.
"Synopsis" may belong to another edition of this title.
GuthrieBooks
Spring Branch, TX, U.S.A.
AbeBooks seller since February 1, 2007
Shipping rates within U.S.A.
| Item | 4 to 14 business days | 3 to 6 business days |
|---|---|---|
| First item | US$ 6.99 | US$ 13.99 |
Payment methods
Store description
Specialty
Academic and Professional Books, Religion, Science, History, Fiction, Childrens, MathematicsSeller's business information
GuthrieBooks
TX, U.S.A.
Terms of sale
At this time we accept payment through Visa or Mastercard.
Shipping terms
Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.