Mathematical theory of program correctness

Mathematical theory of program correctness

Saved in:
Bibliographic Details
Main Author: Bakker, J. W. de 1939- Jacobs Willem de
Format: Book
Published: Englewood Cliffs, N.J. Prentice-Hall International 1980
Series:Prentice-Hall International series in computer science
Subjects:
Computer programs > Correctness
Logic, Symbolic and mathematical
Online Access:Click Here to View Status and Holdings.
Tags: Add Tag
No Tags, Be the first to tag this record!

Similar Items

Similar Items