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

Lecture Notes in Computer Science

Algebraic Methods: Theory, Tools and Applications

Editors: Wirsing, Martin, Bergstra, Jan A. (Eds.)

Free Preview

Buy this book

eBook $109.00
price for USA in USD
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-46758-8
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $149.00
price for USA in USD

Table of contents (18 chapters)

Table of contents (18 chapters)
  • Introduction

    Pages 1-4

    Wirsing, Martin (et al.)

  • Algebraic specification a step towards future software engineering

    Pages 5-30

    Partsch, H.

  • How to make algebraic specifications more understandable?

    Pages 31-67

    Bidoit, M. (et al.)

  • Efficient implementation of an algebraic specification language

    Pages 69-90

    Klaeren, H. (et al.)

  • An integrated algebraic approach to the specification of data types, processes and objects

    Pages 91-116

    Astesiano, E. (et al.)

Buy this book

eBook $109.00
price for USA in USD
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-46758-8
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $149.00
price for USA in USD
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Algebraic Methods: Theory, Tools and Applications
Editors
  • Martin Wirsing
  • Jan A. Bergstra
Series Title
Lecture Notes in Computer Science
Series Volume
394
Copyright
1989
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-46758-8
DOI
10.1007/BFb0015032
Softcover ISBN
978-3-540-51698-9
Series ISSN
0302-9743
Edition Number
1
Number of Pages
VIII, 564
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.