Formal Techniques for Networked and Distributed Systems - FORTE 2006: 26th IFIP WG 6.1 International Conference Paris, France, September 26-29, 2006 ... Notes in Computer Science, 4229, Band 4229) - Softcover

 
9783540462194: Formal Techniques for Networked and Distributed Systems - FORTE 2006: 26th IFIP WG 6.1 International Conference Paris, France, September 26-29, 2006 ... Notes in Computer Science, 4229, Band 4229)
Softcover
ISBN 10: 3540462198 ISBN 13: 9783540462194
Verlag: Springer, 2009

Inhaltsangabe

This book constitutes the refereed proceedings of the 26th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2006, held in Paris, France, in September 2006. The 26 revised full papers and 4 short papers presented together with 3 invited lectures were carefully reviewed and selected from 177 submissions. The papers focus on the construction of middleware and services using formalised and verified approaches.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2009
Sprache
Englisch
ISBN 10 
3540462198
ISBN 13 
9783540462194
Einband
Taschenbuch
Anzahl der Seiten
500
Herausgeber
Najm Elie
Kontakt zum Hersteller
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Tiergartenstr. 17
Heidelberg
69121
Deutschland

Weitere beliebte Ausgaben desselben Titels

9783540831129: Formal Techniques for Networked and Distributed Systems - FORTE 2006

Vorgestellte Ausgabe

ISBN 10:  3540831126 ISBN 13:  9783540831129
Verlag: Springer, 2008
Softcover