Formal differentiation
Subtitle: a program synthesis technique
By: by Robert A. Paige.
Series: Computer science.; no. 6
Publisher: UMI Research Press
Published: 1981
Place of publication: Ann Arbor, Mich
Language: eng
Number of pages: 277
Subjects: Computer programming.; Computer algorithms.
Notes: Bibliography: p. [271]-273.
Includes index.