Formal differentiation a program synthesis technique by Robert A. Paige
Series: Computer science ; no. 7Publication details: Ann Arbor, Mich. : UMI Research Press, 1981Description: 277 p. : 24 cmSubject(s): Dissertation note: Revision of thesis (Ph.D.)--New York University, 1979| Item type | Current library | Home library | Call number | Materials specified | Copy number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|---|---|
| AM | PERPUSTAKAAN TUN SERI LANANG | PERPUSTAKAAN TUN SERI LANANG PILIH SIMPAN-P. TUN SERI LANANG (ARAS 1) | QA76.6.P34[00008033393] (Browse shelf(Opens below)) | 1 | Available | 00000069937 | |||
| AM | PERPUSTAKAAN TUN SERI LANANG | PERPUSTAKAAN TUN SERI LANANG PILIH SIMPAN-P. TUN SERI LANANG (ARAS 1) | QA76.6.P34[00008033394] (Browse shelf(Opens below)) | n.2 | 1 | Available | 00000069938 |
Revision of thesis (Ph.D.)--New York University, 1979
Bibliography : p.271-274
There are no comments on this title.
Log in to your account to post a comment.