Back, Ralph-Johan

Refinement calculus - New York: Springer-Verlag, 1998 - xv, 519 p.; : 24 cm. - Graduate texts in computer science .

0387984178 (hbk)


Calculus
Computer logic
Computer programming

005.14 / BAC

Powered by Koha