Advertisement

Table of contents

  1. Front Matter
  2. Albert R. Meyer, Robert S. Streett, Grazyna Mirkowska
    Pages 12-22
  3. Grażyna Mirkowska
    Pages 23-101
  4. Amdrzej Salwicki
    Pages 145-168
  5. Andrezej Salwicki, Tomasz Müldner
    Pages 169-197

About these proceedings

Keywords

Programs algebra algorithms duality logic proposition

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-11160-3
  • Copyright Information Springer-Verlag Berlin Heidelberg 1981
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-11160-3
  • Online ISBN 978-3-540-38631-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Electronics
IT & Software
Aerospace