Formal Methods For Open Object-based Distributed Systems V

(Hardcover - 00000000)
by

Bart Jacobs

 (Author)
,

Arend Rensink

 (Author)
,

Bart Jacobs

 (Editor)
Write a Review
List Price:Rs 4959
Our Price:Rs. 4414
Discount:Rs. 545
    11%off Free Shipping

Available. Order now and get it in 4-6 business days. See Details

All India - Free Shipping. See Details
Ships to India only.

Buy online using:
- Debit Card / Internet Banking / ATM Card
- Credit Card (VISA & MasterCard)
- Cheque, Demand Draft or Money Order. See Details


Publisher: Springer Netherlands



OR



Book: Formal Methods For Open Object-based Distributed Systems V
Formal Methods for Open Object-Based Distributed Systems V brings together research in three important and related fields:
  • Formal methods;
  • Distributed systems;
  • Object-based technology.


Such a convergence is representative of recent advances in the field of distributed systems, and provides links between several scientific and technological communities. The wide scope of topics covered in this volume range in subject from UML to object-based languages and calculi and security, and in approach from specification to case studies and verification.
This volume comprises the proceedings of the Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002), which was sponsored by the International Federation for Information Processing (IFIP) and held in Enschede, The Netherlands in March 2002.

Book Reviews of Formal Methods For Open Object-based Distributed Systems V
No Reviews Yet! Be the first one to review this book.

Write your own book review for Formal Methods For Open Object-based Distributed Systems V:
Review Title:
Your Name:

Details of Book: Formal Methods For Open Object-based Distributed Systems V Book: Formal Methods For Open Object-based Distributed Systems V
Author: Bart Jacobs, Arend Rensink, Bart Jacobs
ISBN:

0792376838


ISBN-13:

9780792376835

,

978-0792376835


Binding: Hardcover
Publishing Date: 00000000
Publisher: Springer Netherlands
Number of Pages: 296
Language: English
2 States: The Story Of My Marriage by Chetan BhagatFourth book by the bestselling author Chetan Bhagat.
2 States is a story about Krish and Ananya. They are from two different states of India, deeply in love and want to get married. Of course, their parents don’t agree. To convert their love story into a love marriage, the couple have a tough battle in front of them.

Order now at 32% Discount
Books Recently Viewed by You


    Book: Formal Methods For Open Object-based Distributed Systems V by Bart Jacobs, Arend Rensink, Bart Jacobs
    ISBN Number: 0792376838, 9780792376835, 978-0792376835