Mathematical theory of program correctness

Saved in:
Bibliographic Details
Main Author: Bakker, Jacolous Willem de
Format: Unknown
Published: Englewood Cliffs N.J Prentice-Hall 1980
Subjects:
Online Access:Click Here to View Status and Holdings.
Tags: Add Tag
No Tags, Be the first to tag this record!