Description: Formal Methods for Open Object-based Distributed Systems : Ifip Tc6 / Third International Conference on Formal Methods for Open Object-based Distributed Systems (Fmoods), February 15-18, 1999, Florence, Italy, Paperback by Ciancarini, Paolo (EDT); Fantechi, Alessandro (EDT); Gorrieri, Roberto (EDT), ISBN 1475752660, ISBN-13 9781475752663, Brand New, Free shipping in the US Formal Methods for Open Object-Based Distributed Systems 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 volume comprises the proceedings of the International Workshop on Formal Methods for Open Object-based Distributed Systems (FMOODS), sponsored by the International Federation for Information Processing (IFIP) which was held in Florence, Italy, in February 1999. Formal Methods for Open Object-Based Distributed Systems is suitable as a secondary text for graduate-level courses in computer science and telecommunications, and as a reference for researchers and practitioners in industry, commerce and government.
Price: 242.15 USD
Location: Jessup, Maryland
End Time: 2024-11-27T03:25:13.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
Return shipping will be paid by: Buyer
All returns accepted: Returns Accepted
Item must be returned within: 14 Days
Refund will be given as: Money Back
Return policy details:
Book Title: Formal Methods for Open Object-based Distributed Systems : Ifip T
Number of Pages: Xii, 436 Pages
Publication Name: Formal Methods for Open Object-Based Distributed Systems : IFIP TC6 / WG6. 1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy
Language: English
Publisher: Springer
Publication Year: 2013
Subject: Systems Architecture / Distributed Systems & Computing, Systems Architecture / General, Intelligence (Ai) & Semantics, Hardware / General, Programming / Object Oriented
Type: Textbook
Item Weight: 24.3 Oz
Item Length: 9.3 in
Author: Alessandro Fantechi
Subject Area: Computers
Series: Ifip Advances in Information and Communication Technology Ser.
Item Width: 6.1 in
Format: Trade Paperback
