|
|
|
Item Details
Title:
|
FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS -FORTE 2007
27TH IFIP WG 6.1 INTERNATIONAL CONFERENCE, TALLINN, ESTONIA, JUNE 27-29, 2007, PROCEEDINGS |
By: |
John Derrick (Editor), Juri Vain (Editor) |
Format: |
Paperback |
List price:
|
£69.99 |
We currently do not stock this item, please contact the publisher directly for
further information.
|
|
|
|
|
ISBN 10: |
3540731954 |
ISBN 13: |
9783540731955 |
Publisher: |
SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG |
Pub. date: |
12 June, 2007 |
Series: |
Lecture Notes in Computer Science / Programming and Software Engineering v. 4574 |
Pages: |
389 |
Description: |
This book constitutes the refereed proceedings of the 27th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2007, held in Tallinn, Estonia, in September 2007 co-located with TestCom/FATES 2007. It covers service oriented computing and architectures using formalized and verified approaches. |
Synopsis: |
This book constitutes the refereed proceedings of the 27th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2007, held in Tallinn, Estonia, in September 2007 co-located with TestCom/FATES 2007. It covers service oriented computing and architectures using formalized and verified approaches. |
Illustrations: |
biography |
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.
|
|
|
|
|
|
|
|
|
|
|