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: 430 HKD
Availability: OutOfStock
Author: Gilles Barthe

Price

HK$ 430

excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 28 - Aug 3

Get notified about new Gilles Barthe releases

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

Not rated yet

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