Mathematical theory of program correctness
Jaco de Bakker ; with the assistance of Arie de Bruin, Jeffery Zucker
Bok Engelsk 1980
Utgitt | Englewood Cliffs, N.J. : Prentice/Hall International , c1980
|
---|---|
Omfang | XVI,505 s. : ill.
|
Emner | |
ISBN | 0135621321
|
Utgitt | Englewood Cliffs, N.J. : Prentice/Hall International , c1980
|
---|---|
Omfang | XVI,505 s. : ill.
|
Emner | |
ISBN | 0135621321
|