deductive foundations of computer programming
By: Zohar Manna, Richard Waldinger.
Contributors: Waldinger, Richard.; Manna, Zohar.
Publisher: Addison-Wesley
Published: 1993
Place of publication: Wokingham
Language: eng
Number of pages: 717
Notes: Originally published as: The Logical basis for computer programming. 1990. 2vol.