Series in Computer Science

The Foundations of Program Verification

Authors: Sieber, Kurt

Buy this book

eBook $54.99
price for USA (gross)
  • ISBN 978-3-322-96753-4
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $69.99
price for USA
  • ISBN 978-3-322-96754-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (11 chapters)

  • Mathematical Preliminaries

    Loeckx, Jacques (et al.)

    Pages 3-17

  • Predicate Logic

    Loeckx, Jacques (et al.)

    Pages 18-37

  • Three Simple Programming Languages

    Loeckx, Jacques (et al.)

    Pages 41-70

  • Fixpoints in Complete Partial Orders

    Loeckx, Jacques (et al.)

    Pages 71-91

  • Denotational Semantics

    Loeckx, Jacques (et al.)

    Pages 92-110

Buy this book

eBook $54.99
price for USA (gross)
  • ISBN 978-3-322-96753-4
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $69.99
price for USA
  • ISBN 978-3-322-96754-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
The Foundations of Program Verification
Authors
Series Title
Series in Computer Science
Copyright
1987
Publisher
Vieweg+Teubner Verlag
Copyright Holder
Springer Fachmedien Wiesbaden
eBook ISBN
978-3-322-96753-4
DOI
10.1007/978-3-322-96753-4
Softcover ISBN
978-3-322-96754-1
Series ISSN
1567-7974
Edition Number
2
Number of Pages
IX, 230
Number of Illustrations and Tables
1 illustrations in colour
Topics