Mathematical Methods of Specification and Synthesis of Software Systems '85

Proceedings of the International Spring School Wendisch-Rietz, GDR, April 22–26, 1985

  • Editors
  • Wolfgang Bibel
  • Klaus P. Jantke
Conference proceedings

Part of the Lecture Notes in Computer Science book series (LNCS, volume 215)

Table of contents

  1. Front Matter
  2. W. Bibel
    Pages 25-40
  3. T. Gergely, K. P. Vershinin
    Pages 83-100
  4. Helena Rasiowa, Andrzej Skowron
    Pages 123-139
  5. Marek Ejsmont
    Pages 162-168
  6. Goncharov S. S., Sviridenko D. I.
    Pages 169-179
  7. Z. Habasiński
    Pages 180-184
  8. Steffen Lange
    Pages 185-193
  9. Péter Komjáth, Szabó Zsolt
    Pages 201-206
  10. Dieter Pötschke
    Pages 215-218

About these proceedings

Keywords

algorithm algorithms language logic programming software verification

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-16444-8
  • Copyright Information Springer-Verlag 1986
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-16444-9
  • Online ISBN 978-3-540-39784-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book