Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings

Name: Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings
Author: Gilles Barthe
ISBN: 9783540688624

Gilles Barthe

May 29, 2008

$80.50

Online pricing. Prices and offers may vary in store.

Ship to me

Checking availability…

Buy now & pick up in store

Checking availability…

Find it in store

Checking availability…

Quantity

Earn 403 points and enjoy extra savings with plum+.

Overview

See more details

Programming and Software Engineering

Author

Editorial reviews

Product name	Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings
Brand	null
Sub-brand	null
Type	null
Life stage	null
Appropriate for ages	null
Gender	null
Shipping dimensions	9" H x 6" W x 1" L
Size	null
Size	null
Color	null
Colour family	null
Style	null
Languages	English
Microwave safe	null
Genre	null
Dishwasher safe	null
Assembly required	null
Batteries required	null
Batteries included	null
Eco-friendly	null
Indigo exclusive	null
Canadian	null
Ingredients	null
Allergens	null
ESRB rating	null
Gift card style	null
Gift card type	null
Format	Paperback
No. of Pages	259
Release date	May 29, 2008
Publisher	Springer/Sci-Tech/Trade
ISBN	9783540688624

Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings

Overview

Author

Ratings & Reviews

Editorial reviews