Advertisement

Table of contents

  1. Front Matter
  2. P. E. Lauer, M. W. Shields, J. Y. Cotronis
    Pages 115-151
  3. Didier Bert, Roger Soler
    Pages 231-243
  4. Manfred Broy, Martin Wirsing
    Pages 244-251
  5. J. Dean Brock, William B. Ackerman
    Pages 252-259
  6. Jean-Louis Durieux
    Pages 268-279
  7. N. Francez, M. Rodeh, M. Sintzoff
    Pages 280-291
  8. Joseph A. Goguen, Kamran Parsaye-Ghomi
    Pages 292-309
  9. Jacek Leszczyłowski
    Pages 374-386
  10. Peter Mosses
    Pages 408-418
  11. F. Orejas
    Pages 419-431
  12. Piotr Prószyński
    Pages 471-478

About these proceedings

Keywords

Formale Sprache Programmierung (EDV) Programming data structure formal specification logic programming language semantics

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-10699-5
  • Copyright Information Springer-Verlag Berlin Heidelberg 1981
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-10699-9
  • Online ISBN 978-3-540-38654-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site