An edition of Correctness Problem in Computer Science (International lecture series in computer science) (1981)
The Correctness problem in computer science
By Robert S. Boyer,J Strother Moore
0 (0 Ratings)
1 Want to read1 Currently reading0 Have read
1 Want to read1 Currently reading0 Have read
Publish Date
1981
Publisher
Academic Press
Language
eng
Pages
279
Description:
subjects: Correctness, Computer programs