The deductive foundations of computer programming : a one-volume version of The logical basis for computer programming / Zohar Manna, Richard Waldinger.
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
- 0201548860
- QA76.6 M36 1993
Item type | Current library | Call number | Copy number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|
![]() |
Biblioteca de la Facultad de Ingeniería Eléctrica General | QA76.6 M36 1993 (Browse shelf(Opens below)) | C:1 | Available | BIE000000911 |
Bibliografía : p. 673-680
Incluye índice
There are no comments on this title.
Log in to your account to post a comment.