1 option
Mathematical theory of program correctness / Jaco de Bakker ; with the assistance of Arie de Bruin, Jeffery Zucker.
LIBRA QA76.6 .B335
Available from offsite location
- Format:
- Book
- Author/Creator:
- Bakker, J. W. de (Jacobus Willem), 1939-
- Series:
- Prentice-Hall international series in computer science
- Prentice-Hall International series in computer science.
- Language:
- English
- Subjects (All):
- Computer programs--Correctness.
- Computer programs.
- Logic, Symbolic and mathematical.
- Physical Description:
- xvi, 505 pages ; 24 cm.
- Place of Publication:
- Englewood Cliffs, N.J. : Prentice-Hall International, [1980]
- Notes:
- Includes index.
- Bibliography: pages 466-490.
- ISBN:
- 0135621321 :
- OCLC:
- 6143239
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.