Formal Techniques for Networked and Distributed Systems - FORTE 2007: 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, . / Programming and Software Engineering)

Derrick, John [Editor]; Vain, Jüri [Editor];

ISBN 10: 3540731954 / ISBN 13: 9783540731955

Verlag: Springer, 2007

Beschreibung

We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments.

Bestandsnummer des Verkäufers UTD14a-0321

Bibliografische Details

• Titel: Formal Techniques for Networked and Distributed Systems - FORTE 2007: 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, . / Programming and Software Engineering)
• Verlag: Springer
• Erscheinungsjahr: 2007
• Sprache: Englisch
• ISBN-10: 3540731954
• ISBN-13: 9783540731955
• Einband: Paperback
• Zustand: Very Good
• Gewicht: 21 Unzen

Über diesen Titel

Inhaltsangabe

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.