Normal view MARC view ISBD view

The logical basis for computer programming, Vol. 1, deductive reasoning / Zohar Manna, Richard Waldinger

Auteur principal : Manna, Zohar, 1939-, AuteurCo-auteur : Waldinger, Richard, AuteurType de document : MonographieCollection : Addison-Wesley series in computer scienceLangue : anglais.Pays : Etats Unis.Éditeur : Reading, MA : Addison-Wesley, 1985Description : 1 vol. (XII-618 p.) ; 25 cmISBN : 0201182602.Bibliographie : Bibliogr. p. 579-581. Index.Sujet MSC : 68-01, Computer science, Instructional exposition (textbooks, tutorial papers, etc.)
03B05, Mathematical logic and foundations -- General logic, Classical propositional logic
03B10, Mathematical logic and foundations -- General logic, Classical first-order logic
68Q65, Computer science -- Theory of computing, Abstract data types; algebraic specification
68P05, Computer science -- Theory of data, Data structures
Tags from this library: No tags from this library for this title. Log in to add tags.
Current location Call number Status Date due Barcode
Salle R
68 MAN (Browse shelf) Available 09133-01

Bibliogr. p. 579-581. Index

There are no comments for this item.

Log in to your account to post a comment.