Home
Scholarly Works
Mathematical theory of program correctness.
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
January 1, 1980
ISBN-13
978-0-13-562132-5
Associated Experts
Jeffery Zucker
Professor Emeritus, Faculty of Engineering
Visit profile
Contact the Experts team
Get technical help
or
Provide website feedback