Program correctness over abstract data types, with error-state semantics /

Autor Tucker, John V., Zucker, Jeffery
Vydáno 1988

Mathematical Theory of Program Correctness /

Autor Bakker, J. W. de 1939-, Bruin, Arie de, Zucker, Jeffery
Vydáno 1980