Portuguese
Programming in the 1990s
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 What can we learn from a cake?
-
Altmetric BadgeChapter 2 Preliminary notions, notations, and terminology
-
Altmetric BadgeChapter 3 Predicates A — Boolean operators
-
Altmetric BadgeChapter 4 Predicates B — Quantified expressions
-
Altmetric BadgeChapter 5 Specifications
-
Altmetric BadgeChapter 6 The shapes of programs
-
Altmetric BadgeChapter 7 Intermezzo on calculations
-
Altmetric BadgeChapter 8 Developing loopless programs
-
Altmetric BadgeChapter 9 Developing loops — an introduction
-
Altmetric BadgeChapter 10 Loops A — On deleting a conjunct
-
Altmetric BadgeChapter 11 Loops B — On replacing constants by fresh variables
-
Altmetric BadgeChapter 12 Mainly on recursion
-
Altmetric BadgeChapter 13 Back to scratch
-
Altmetric BadgeChapter 14 Where to go from here
Altmetric Badge
Citations
- dimensions_citation
- 31 Dimensions