Tracked shipping to New Zealand with premium packaging for just NZ$15 

Ship to
New Zealand
0
  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

Select your country

Americas

Europe

Rest of the world

portada formal methods for open object-based distributed systems
Type
Physical Book
Publisher
Language
English
Pages
276
Format
Paperback
Dimensions
23.4 x 15.6 x 1.5 cm
Weight
0.40 kg.
ISBN
354034893X
ISBN13
9783540348931

formal methods for open object-based distributed systems

Roberto Gorrieri (Illustrated by) · Heike Wehrheim (Illustrated by) · Springer · Paperback

formal methods for open object-based distributed systems - Gorrieri, Roberto ; Wehrheim, Heike

Cheaper New Book Imported to New Zealand
Delivery: 07 Sep - 17 Sep Shipping: 12 to 16 business days.
NZ$ 122.90
Faster New Book Imported to New Zealand
Delivery: 25 Aug - 02 Sep Shipping: 4 to 5 business days.
NZ$ 156.28
Import costs and 15% GST included in the price ✅
NZ$ 122.90

Synopsis "formal methods for open object-based distributed systems"

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.

Customers reviews

Frequently Asked Questions about the Book

All books in our catalog are Original.
The book is written in English.
The binding of this edition is Paperback.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews