Advertisement

Table of contents

  1. Front Matter
  2. Martin Wirsing, Jan A. Bergstra
    Pages 1-4
  3. M. Bidoit, M.-C. Gaudel, A. Mauboussin
    Pages 31-67
  4. E. Astesiano, A. Giovini, G. Reggio, E. Zucca
    Pages 91-116
  5. Horst Reichel
    Pages 117-135
  6. H. B. M. Jonkers
    Pages 137-205
  7. W. E. Baats, L. M. G. Feijs, J. H. A. Gelissen
    Pages 207-245
  8. C. P. J. Koymans, G. R. Renardel de Lavalette
    Pages 247-282
  9. H. B. M. Jonkers
    Pages 283-305
  10. L. M. G. Feijs
    Pages 307-328
  11. Heinrich Hussmann, Alfons Geser
    Pages 329-345
  12. J. A. Bergstra, J. W. Klop
    Pages 445-463
  13. Rob van Glabbeek, Frits Vaandrager
    Pages 465-506
  14. Back Matter

About these proceedings

Keywords

Algebraische Spezifikation Compiler Objekt-Orientierte Programmierung und Parallelprogrammierung Rapid Prototyping Software Engineering Software-Entwicklung Verteilte Systeme formal specification logic microprocessor testing

Bibliographic information

  • DOI https://doi.org/10.1007/BFb0015032
  • Copyright Information Springer-Verlag Berlin Heidelberg 1989
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-51698-9
  • Online ISBN 978-3-540-46758-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Chemical Manufacturing
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Energy, Utilities & Environment
Aerospace
Engineering