Programming and Software Engineering

Formal Techniques for Networked and Distributed Systems - FORTE 2006

26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings

Editors: Najm, Elie, Pradat-Peyre, Jean-Francois, Donzeau-Gouge, Véronique Viguié (Eds.)

Buy this book

eBook $109.00
price for USA (gross)
  • ISBN 978-3-540-46220-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $149.00
price for USA
  • ISBN 978-3-540-46219-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (33 chapters)

  • Modelling of Complex Software Systems: A Reasoned Overview

    Krob, Daniel

    Pages 1-22

  • The  +  CAL Algorithm Language

    Lamport, Leslie

    Pages 23-23

  • Semantic-Based Development of Service-Oriented Systems

    Wirsing, Martin (et al.)

    Pages 24-45

  • JSCL: A Middleware for Service Coordination

    Ferrari, Gianluigi (et al.)

    Pages 46-60

  • Analysis of Realizability Conditions for Web Service Choreographies

    Kazhamiakin, Raman (et al.)

    Pages 61-76

Buy this book

eBook $109.00
price for USA (gross)
  • ISBN 978-3-540-46220-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $149.00
price for USA
  • ISBN 978-3-540-46219-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Formal Techniques for Networked and Distributed Systems - FORTE 2006
Book Subtitle
26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings
Editors
  • Elie Najm
  • Jean-Francois Pradat-Peyre
  • Véronique Viguié Donzeau-Gouge
Series Title
Programming and Software Engineering
Series Volume
4229
Copyright
2006
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
IFIP International Federation for Information Processing
eBook ISBN
978-3-540-46220-0
DOI
10.1007/11888116
Softcover ISBN
978-3-540-46219-4
Edition Number
1
Number of Pages
XII, 488
Topics