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 |
Browsing Biblioteca de la Facultad de Ingeniería Eléctrica shelves, Shelving location: General Close shelf browser (Hides shelf browser)
QA76.6 K58 1973 The art of computer programming | QA76.6 L44 2007 Introducción al diseño y análisis de algoritmos | QA76.6 L64 1982 Logic programming | QA76.6 M36 1993 The deductive foundations of computer programming | QA76.6 M67 1991 Algorithms from P to NP | QA76.6 N37 1993 Introduction to program design and data structures | QA76.6 P47 1985 Operating system concepts |
Bibliografía : p. 673-680
Incluye índice
There are no comments on this title.
Log in to your account to post a comment.