Logic of programming /

Hehner, Eric C R.

Logic of programming / By Eric C R Hehner. - 1st ed. - New Delhi : Prentice Hall of India PVt Ltd , 1991. - 361p. ; PB 22 cm.

0876927010


Sequences and grammars
Operational and mathematical reasoning
Data structures

005.1 / HEHE