Millions of books in English, Spanish and other languages. Free UK delivery 

menu

0
  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional
portada formal methods for open object-based distributed systems: 9th ifip wg 6.1 international conference fmoods 2007 paphos, cyprus, june 6-8, 2007 proceedi
Type
Physical Book
Publisher
Year
2007
Language
English
Pages
317
Format
Paperback
Dimensions
23.3 x 16.0 x 2.0 cm
Weight
0.51 kg.
ISBN
3540729194
ISBN13
9783540729198

formal methods for open object-based distributed systems: 9th ifip wg 6.1 international conference fmoods 2007 paphos, cyprus, june 6-8, 2007 proceedi

Marcello M. Bonsangue (Illustrated by) · Einar Broch Johnsen (Illustrated by) · Springer · Paperback

formal methods for open object-based distributed systems: 9th ifip wg 6.1 international conference fmoods 2007 paphos, cyprus, june 6-8, 2007 proceedi - Bonsangue, Marcello M. ; Johnsen, Einar Broch

New Book

£ 61.20

  • Condition: New
Origin: U.S.A. (Import costs included in the price)
It will be shipped from our warehouse between Wednesday, June 12 and Friday, June 28.
You will receive it anywhere in United Kingdom between 1 and 3 business days after shipment.

Synopsis "formal methods for open object-based distributed systems: 9th ifip wg 6.1 international conference fmoods 2007 paphos, cyprus, june 6-8, 2007 proceedi"

This book constitutes the refereed proceedings of the 9th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2007, held in Paphos, Cyprus, June 2007. The 17 revised full papers presented together with two invited papers cover model checking rewriting logic components and services algebraic calculi specification, verification and refinement, and quality of service.

Customers reviews

More customer reviews
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

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