Advertisement

© 1987

The Foundations of Program Verification

Textbook

Part of the Series in Computer Science book series (SCS)

Table of contents

  1. Front Matter
    Pages i-ix
  2. Preliminaries

    1. Front Matter
      Pages 1-1
    2. Jacques Loeckx, Kurt Sieber
      Pages 3-17
    3. Jacques Loeckx, Kurt Sieber
      Pages 18-37
  3. Semantics of Programming Languages

    1. Front Matter
      Pages 39-39
    2. Jacques Loeckx, Kurt Sieber
      Pages 41-70
    3. Jacques Loeckx, Kurt Sieber
      Pages 71-91
    4. Jacques Loeckx, Kurt Sieber
      Pages 92-110
  4. Program Verification Methods

    1. Front Matter
      Pages 111-111
    2. Jacques Loeckx, Kurt Sieber
      Pages 113-131
    3. Jacques Loeckx, Kurt Sieber
      Pages 132-148
    4. Jacques Loeckx, Kurt Sieber
      Pages 149-173
    5. Jacques Loeckx, Kurt Sieber
      Pages 174-198
    6. Jacques Loeckx, Kurt Sieber
      Pages 199-214
  5. Prospects

    1. Front Matter
      Pages 215-215
    2. Jacques Loeckx, Kurt Sieber
      Pages 217-221
  6. Back Matter
    Pages 222-230

About this book

Keywords

Logik Programmieren Programmiersprache Programmierung Programmverifikation Semantik Werkstoff formale Sprache formale Sprachen

Authors and affiliations

  1. 1.Fachbereich InformatikUniversität des SaarlandesSaarbrückenGermany

Bibliographic information

  • Book Title The Foundations of Program Verification
  • Authors Kurt Sieber
  • Series Title Series in Computer Science
  • DOI https://doi.org/10.1007/978-3-322-96753-4
  • Copyright Information Vieweg+Teubner Verlag | Springer Fachmedien Wiesbaden GmbH, Wiesbaden 1987
  • Publisher Name Vieweg+Teubner Verlag, Wiesbaden
  • eBook Packages Springer Book Archive
  • Hardcover ISBN 978-3-519-12101-5
  • Softcover ISBN 978-3-322-96754-1
  • eBook ISBN 978-3-322-96753-4
  • Series ISSN 1567-7974
  • Edition Number 2
  • Number of Pages IX, 230
  • Number of Illustrations 0 b/w illustrations, 1 illustrations in colour
  • Topics Engineering, general
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Chemical Manufacturing
Aerospace
Oil, Gas & Geosciences
Engineering