Book
Mathematical theory of program correctness.
Authors
Bakker JWD; Bruin AD; Zucker J
Series
Prentice-Hall international series in computer science
Publisher
Prentice Hall
Publication Date
1980
ISBN-13
978-0-13-562132-5
Experts has a new look! Let us know what you think of the updates.
Provide feedback