Lectures on the logic of computer programming

Manna, Z

Lectures on the logic of computer programming Z. Manna - Philadelphia SIAM 1980 - iv 49 - CBMS-NSF regional conference series in applied mathematic 31 .

0-89871-164-9

005.1 / MAN

Powered by Koha