Lecture Notes in Computer Science

Formal Methods and Software Engineering

4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings

Editors: George, Chris, Miao, Huaikou (Eds.)

Free Preview

Buy this book

eBook $129.00
price for USA in USD (gross)
  • ISBN 978-3-540-36103-9
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $169.00
price for USA in USD
  • ISBN 978-3-540-00029-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (49 chapters)

Table of contents (49 chapters)
  • SFI: A Refinement Based Layered Software Architecture

    Back, Ralph-Johan

    Pages 1-2

  • Developing Quality Software Systems Using the SOFL Formal Engineering Method

    Liu, Shaoying

    Pages 3-19

  • Maintaining Referential Integrity on the Web

    Hale, Mark A.

    Pages 20-21

  • Formal Methods in Enterprise Computing

    Jüllig, Richard

    Pages 22-23

  • Unifying Theories of Parallel Programming

    Woodcock, Jim (et al.)

    Pages 24-37

Buy this book

eBook $129.00
price for USA in USD (gross)
  • ISBN 978-3-540-36103-9
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $169.00
price for USA in USD
  • ISBN 978-3-540-00029-7
  • 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 Methods and Software Engineering
Book Subtitle
4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings
Editors
  • Chris George
  • Huaikou Miao
Series Title
Lecture Notes in Computer Science
Series Volume
2495
Copyright
2002
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-36103-9
DOI
10.1007/3-540-36103-0
Softcover ISBN
978-3-540-00029-7
Series ISSN
0302-9743
Edition Number
1
Number of Pages
XII, 636
Topics