Gilles Barthe
Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings - Lecture Notes in Computer Science Gilles Barthe 2008 edition

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 - Lecture Notes in Computer Science
Price: 54.99 USD
Availability: OutOfStock
Author: Gilles Barthe

Price

$ 54.99

excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 7 - 13

Our customers say:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

14-day return policy in accordance with European consumer protection law

Top ranking on Trustpilot

Add to your iMusic wish list

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

Gilles Barthe

2008 edition

This book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2008, held in Oslo, Norway, in June 2008. formal methods for service-oriented computing; integration of quality of service requirements into formal models;

259 pages, black & white illustrations

Media	Books Paperback Book (Book with soft cover and glued back)
Released	May 29, 2008
ISBN13	9783540688624
Publishers	Springer-Verlag Berlin and Heidelberg Gm
Genre	Aspects (Academic) > Science / Technology Aspects
Pages	259
Dimensions	155 × 235 × 14 mm · 408 g
Language	French
Editor	Barthe, Gilles