Lecture Notes in Computer Science

Formal Techniques for Networked and Distributed Systems - FORTE 2004

24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings

Editors: Frutos-Escrig, David de, Nunez, Manuel (Eds.)

Buy this book

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

Table of contents (23 chapters)

  • A Logical Account of NGSCB

    Abadi, Martín (et al.)

    Pages 1-12

  • Composing Event Constraints in State-Based Specification

    Bolognesi, Tommaso

    Pages 13-32

  • Formal Description Techniques and Software Engineering: Some Reflections after 2 Decades of Research

    Quemada, Juan

    Pages 33-42

  • Parameterized Models for Distributed Java Objects

    Barros, Tomás (et al.)

    Pages 43-60

  • Towards the Harmonisation of UML and SDL

    Grammes, Rüdiger (et al.)

    Pages 61-78

Buy this book

eBook $79.99
price for USA (gross)
  • ISBN 978-3-540-30232-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.00
price for USA
  • ISBN 978-3-540-23252-0
  • 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 2004
Book Subtitle
24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings
Editors
  • David de Frutos-Escrig
  • Manuel Nunez
Series Title
Lecture Notes in Computer Science
Series Volume
3235
Copyright
2004
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
IFIP International Federation for Information Processing
eBook ISBN
978-3-540-30232-2
DOI
10.1007/b100576
Softcover ISBN
978-3-540-23252-0
Series ISSN
0302-9743
Edition Number
1
Number of Pages
X, 382
Topics