Read While You Wait - Get immediate ebook access, if available*, when you order a print book

Lecture Notes in Computer Science

Algebraic Methods II: Theory, Tools and Applications

Editors: Bergstra, Jan A., Feijs, Loe M.G. (Eds.)

Free Preview

Buy this book

eBook $89.00
price for USA in USD
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-46351-1
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $119.00
price for USA in USD
  • ISBN 978-3-540-53912-4
  • Free shipping for individuals worldwide
  • Immediate ebook access, if available*, with your print order
  • Usually dispatched within 3 to 5 business days.
About this book

The proper treatment and choice of the basic data structures is an important and complex part in the process of program construction. Algebraic methods provide techniques for data abstraction and the structured specification, validation and analysis of data structures. This volume originates from a workshop organized within ESPRIT Project 432 METEOR, An Integrated Formal Approach to Industrial Software Development, held in Mierlo, The Netherlands, September 1989. The volume includes five invited contributions based on workshop talks given by A. Finkelstein, P. Klint, C.A. Middelburg, E.-R. Olderog, and H.A. Partsch. Ten further papers by members of the METEOR team are based on talks given at the workshop. The workshop was a successor to an earlier one held in Passau, Germany, June 1987, the proceedings of which were published as Lecture Notes in Computer Science, Vol. 394.

Table of contents (15 chapters)

Table of contents (15 chapters)
  • Formalizing informal requirements some aspects

    Pages 1-27

    Diepen, N. W. P. (et al.)

  • ViewPoint oriented software development: Methods and viewpoints in requirements engineering

    Pages 29-54

    Finkelstein, Anthony (et al.)

  • Using transformations to verify parallel programs

    Pages 55-81

    Olderog, Ernst-Rüdiger (et al.)

  • Experiences with combining formalisms in VVSL

    Pages 83-103

    Middelburg, C. A.

  • A meta-environment for generating programming environments

    Pages 105-124

    Klint, P.

Buy this book

eBook $89.00
price for USA in USD
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-46351-1
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $119.00
price for USA in USD
  • ISBN 978-3-540-53912-4
  • Free shipping for individuals worldwide
  • Immediate ebook access, if available*, with your print order
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Algebraic Methods II: Theory, Tools and Applications
Editors
  • Jan A. Bergstra
  • Loe M.G. Feijs
Series Title
Lecture Notes in Computer Science
Series Volume
490
Copyright
1991
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-46351-1
DOI
10.1007/3-540-53912-3
Softcover ISBN
978-3-540-53912-4
Series ISSN
0302-9743
Edition Number
1
Number of Pages
VIII, 436
Topics

*immediately available upon purchase as print book shipments may be delayed due to the COVID-19 crisis. ebook access is temporary and does not include ownership of the ebook. Only valid for books with an ebook version. Springer Reference Works and instructor copies are not included.