The Logical basis for computer programming. Vol. I : deductive reasoning [monographie] |
| Auteur(s): | Manna, Zohar (1939-....) Waldinger, Richard |
| Langue: | anglais |
| Collection: | Addison-Wesley series in computer science |
| Editeur, date d'édition: | Addison-Wesley Publishing Company, Inc., 1985 |
| Ville(s) d'édition: | Don Mills, Ontorio (CA), Menlo Park (US), Reading (US) |
| ISBN: | 0-201-18260-2 |
| Classification MSC: | 03-01 |
| Notes: | xii + bibliogr. pp. 578-581 + index pp. 582-618 + 25 cm ; 618 p. |
| Thèmes: | programmation, ordinateur, logique, raisonnement deductif |
| Localisation: | Ouvrage fonds informatique |
Exemplaire(s)
| Cote | Retour |
|---|---|
| 05 MAN 85 | Disponible |