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

Bibliotek som har denne