.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Formal Methods for Open Object-Based Distributed Systems
. Ed(S): Jacobs, Bart (University Of Nijmegen, Netherlands); Rensink, Arendt (University Of Twente, Enschede, Netherlands)
€ 130.82
FREE Delivery in Ireland
Description for Formal Methods for Open Object-Based Distributed Systems
Hardback. Brings together research in three important and related fields: Formal methods; Distributed systems; and Object-based technology. This volume comprises the proceedings of the Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002) held in Enschede, The Netherlands in March 2002. Editor(s): Jacobs, Bart (University of Nijmegen, Netherlands); Rensink, Arendt (University of Twente, Enschede, Netherlands). Series: IFIP Advances in Information and Communication Technology. Num Pages: 290 pages, biography. BIC Classification: UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 15. Weight in Grams: 413.
Formal Methods for Open Object-Based Distributed Systems V brings together research in three important and related fields:
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 ... Read more
Product Details
Format
Hardback
Publication date
2002
Publisher
Kluwer Academic Publishers United States
Number of pages
290
Condition
New
Series
IFIP Advances in Information and Communication Technology
Number of Pages
284
Place of Publication
Dordrecht, Netherlands
ISBN
9780792376835
SKU
V9780792376835
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Formal Methods for Open Object-Based Distributed Systems