Advertisement

Table of contents

  1. Front Matter
  2. Pages 1-27
  3. Pages 28-50
  4. Pages 82-137
  5. Pages 138-145
  6. Back Matter

About this book

Keywords

Spezifikation Verifikation compiler framework language proof verification Übersetzer

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-10886-6
  • Copyright Information Springer-Verlag Berlin Heidelberg 1981
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-10886-3
  • Online ISBN 978-3-540-38795-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Aerospace
Engineering