Arsac, Jacques La construction de programmes structures. Publie avec le concours du CNRS. (French) Zbl 0451.68014 Dunod Informatique: Phase Formation. Paris: Bordas Dunod. XXIV, 380 p. F 127.00 (1977). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 3 ReviewsCited in 9 Documents MSC: 68-01 Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science 68N01 General topics in the theory of software Keywords:structured programming; inductive assertions; program transformations PDF BibTeX XML