[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php
Bibliographic Item (1.0)
- Raymond D Gumb
- Programming Logics: An Introduction to Verification and Semantics
- John Wiley & Sons NY NY 1989
- natural deduction
- introduction to hoare axioms and dentational semantics
Search for bibliographic items containing a matching string.
Search for a specific bibliographic item by name.
To see the complete bibliography (1Mb+) select:[Bibliography]