Practical programming logic

Russell, Sharri.

Practical programming logic Sharri russell. - 2nd. ed. - USA John Wiley & Sons 1998 - x, 313p., var. p. 27cm.

0471321028


Formal methods (Computer science)
Logic programming.