 |
|
|
Item Details
| Title:
|
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 |
| By: |
Paolo Ciancarini (Editor), Alessandro Fantechi (Editor), Roberto Gorrieri (Editor) |
| Format: |
Hardback |
| List price:
|
£173.50 |
|
We currently do not stock this item, please contact the publisher directly for
further information.
|
|
|
|
|
|
| ISBN 10: |
0792384296 |
| ISBN 13: |
9780792384298 |
| Publisher: |
SPRINGER |
| Pub. date: |
28 February, 1999 |
| Edition: |
1999 ed. |
| Series: |
IFIP Advances in Information and Communication Technology 10 |
| Pages: |
436 |
| Description: |
Discusses many topics, including the following: object-oriented design and programming; formal specification of distributed systems; open distributed platforms; types, interfaces and behaviour; and, formalisation of object-oriented methods. |
| Synopsis: |
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. |
| Illustrations: |
XII, 436 p. |
| Publication: |
Netherlands |
| Imprint: |
Springer |
| Returns: |
Returnable |
|
|
|
 |
Ramadan and Eid al-Fitr
A celebratory, inclusive and educational exploration of Ramadan and Eid al-Fitr for both children that celebrate and children who want to understand and appreciate their peers who do.
|
|
|
|
|
|
|
|
|
|
|