Stock image for illustration purposes only - book cover, edition or condition may vary.
Formal Methods for Open Object-based Distributed Systems
. Ed(S): Bowman, Howard; Derrick, John
€ 256.93
FREE Delivery in Ireland
Description for Formal Methods for Open Object-based Distributed Systems
Hardback. Deals with the object orientated programming, open distributed systems and formal methods for object oriented systems. This book discusses areas such as: object oriented design and programming; formal specification of distributed systems; open distributed platforms; types, interfaces and behaviour; and, formalisation of object oriented methods. Editor(s): Bowman, Howard; Derrick, John. Series: IFIP Advances in Information and Communication Technology. Num Pages: 482 pages, biography. BIC Classification: UMN; UT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 26. Weight in Grams: 1890.
This book presents the leading edge in several related fields, specifically object orientated programming, open distributed systems and formal methods for object oriented systems. With increased support within industry regarding these areas, this book captures the most up-to-date information on the subject. Many topics are discussed, including the following important areas: object oriented design and programming; formal specification of distributed systems; open distributed platforms; types, interfaces and behaviour; formalisation of object oriented methods.
This book presents the leading edge in several related fields, specifically object orientated programming, open distributed systems and formal methods for object oriented systems. With increased support within industry regarding these areas, this book captures the most up-to-date information on the subject. Many topics are discussed, including the following important areas: object oriented design and programming; formal specification of distributed systems; open distributed platforms; types, interfaces and behaviour; formalisation of object oriented methods.
Product Details
Format
Hardback
Publication date
1997
Publisher
Chapman and Hall United Kingdom
Number of pages
482
Condition
New
Series
IFIP Advances in Information and Communication Technology
Number of Pages
470
Place of Publication
London, United Kingdom
ISBN
9780412820403
SKU
V9780412820403
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Formal Methods for Open Object-based Distributed Systems