Stock image for illustration purposes only - book cover, edition or condition may vary.
Formal Methods for Open Object-Based Distributed Systems
. Ed(S): Najm, E.; Stefani, Jean-Bernard
€ 247.02
FREE Delivery in Ireland
Description for Formal Methods for Open Object-Based Distributed Systems
Hardback. The advent of Open Object-based Distributed Systems (OODS) brings challenges and opportunities for the use and development of formal methods. This book presents the research in several related fields, and the exchange of ideas and experiences in a number of topics. Editor(s): Najm, E.; Stefani, Jean-Bernard. Series: IFIP Advances in Information and Communication Technology. Num Pages: 422 pages, biography. BIC Classification: UT; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 23. Weight in Grams: 774.
Object-based Distributed Computing is being established as the most pertinent basis for the support of large, heterogeneous computing and telecommunications systems. The advent of Open Object-based Distributed Systems (OODS) brings new challenges and opportunities for the use and development of formal methods. Formal Methods for Open Object-based Distributed Systems presents the latest research in several related fields, and the exchange of ideas and experiences in a number of topics including: formal models for object-based distributed computing; semantics of object-based distributed systems and programming languages; formal techniques in object-based and ... Read more
Object-based Distributed Computing is being established as the most pertinent basis for the support of large, heterogeneous computing and telecommunications systems. The advent of Open Object-based Distributed Systems (OODS) brings new challenges and opportunities for the use and development of formal methods. Formal Methods for Open Object-based Distributed Systems presents the latest research in several related fields, and the exchange of ideas and experiences in a number of topics including: formal models for object-based distributed computing; semantics of object-based distributed systems and programming languages; formal techniques in object-based and ... Read more
Product Details
Format
Hardback
Publication date
1996
Publisher
Chapman and Hall United Kingdom
Number of pages
422
Condition
New
Series
IFIP Advances in Information and Communication Technology
Number of Pages
412
Place of Publication
London, United Kingdom
ISBN
9780412797705
SKU
V9780412797705
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Formal Methods for Open Object-Based Distributed Systems