Programming and Software Engineering

Formal Techniques for Networked and Distributed Systems - FORTE 2005

25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings

Editors: Wang, Farn (Ed.)

Buy this book

eBook $109.00
price for USA (gross)
  • ISBN 978-3-540-32084-5
  • 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-29189-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (44 chapters)

  • Ranking Abstraction as Companion to Predicate Abstraction

    Balaban, Ittai (et al.)

    Pages 1-12

  • Developing High Quality Software with Formal Methods: What Else Is Needed?

    Heitmeyer, Constance

    Pages 13-19

  • A Testing Architecture for Designing High-Reliable MANET Protocols

    Higashino, Teruo (et al.)

    Pages 20-23

  • A Composition Operator for Systems with Active and Passive Actions

    Strubbe, Stefan (et al.)

    Pages 24-37

  • A Formal Semantics of UML StateCharts by Means of Timed Petri Nets

    Hammal, Youcef

    Pages 38-52

Buy this book

eBook $109.00
price for USA (gross)
  • ISBN 978-3-540-32084-5
  • 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-29189-3
  • 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 2005
Book Subtitle
25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings
Editors
  • Farn Wang
Series Title
Programming and Software Engineering
Series Volume
3731
Copyright
2005
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
IFIP International Federation for Information Processing
eBook ISBN
978-3-540-32084-5
DOI
10.1007/11562436
Softcover ISBN
978-3-540-29189-3
Edition Number
1
Number of Pages
XII, 558
Topics