Advertisement

The Foundations of Program Verification

  • Jacques Loeckx
  • Kurt Sieber

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

  • Jacques Loeckx
    • 1
  • Kurt Sieber
    • 1
  1. 1.Fachbereich InformatikUniversität des SaarlandesSaarbrückenGermany

Bibliographic information

  • 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
  • Print ISBN 978-3-322-96754-1
  • Online ISBN 978-3-322-96753-4
  • Series Print ISSN 1567-7974
  • Buy this book on publisher's site
Industry Sectors
Pharma
Materials & Steel
Automotive
Chemical Manufacturing
Biotechnology
Finance, Business & Banking
Electronics
Consumer Packaged Goods
Energy, Utilities & Environment
Aerospace
Oil, Gas & Geosciences
Engineering