 |
|
|
Item Details
| Title:
|
FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS
10TH IFIP WG 6.1 INTERNATIONAL CONFERENCE, FMOODS 2008, OSLO, NORWAY, JUNE 4-6, 2008 PROCEEDINGS |
| By: |
Gilles Barthe (Editor) |
| Format: |
Paperback |
| List price:
|
£62.99 |
|
We currently do not stock this item, please contact the publisher directly for
further information.
|
|
|
|
|
|
| ISBN 10: |
3540688625 |
| ISBN 13: |
9783540688624 |
| Publisher: |
SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG |
| Pub. date: |
29 May, 2008 |
| Edition: |
2008 ed. |
| Series: |
Lecture Notes in Computer Science 5051 |
| Pages: |
259 |
| Description: |
Constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2008, held in Oslo, Norway, in June 2008. |
| Synopsis: |
This book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2008, held in Oslo, Norway, in June 2008. The 14 revised full papers presented together with 1 invited lecture were carefully reviewed and selected from 35 submissions. The papers cover topcics such as semantics of object-oriented programming; formal techniques for specification, analysis, and refinement; model checking; theorem proving and deductive verification; type systems and behavioral typing; formal methods for service-oriented computing; integration of quality of service requirements into formal models; formal approaches to component-based design; and applications of formal methods. |
| Illustrations: |
X, 259 p. |
| Publication: |
Germany |
| Imprint: |
Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| 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.
|
|
|
|
|
|
|
|
|
|
|