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.)

Free Preview

Buy this book

eBook $84.99
price for USA in USD (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 in USD
  • ISBN 978-3-540-23252-0
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (24 chapters)

Table of contents (24 chapters)

Buy this book

eBook $84.99
price for USA in USD (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 in USD
  • 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