<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2012-08-02 20:57:16Pushout Recursion Span Pullback Limit Mathematics Computing Philosophy of mathematics |
Add to Reading List |
| First Page | Document Content | |
|---|---|---|
Date: 2012-08-02 20:57:16Pushout Recursion Span Pullback Limit Mathematics Computing Philosophy of mathematics |
Add to Reading List |
Composition and Re nement of Behavioral Speci cations Dusko Pavlovic and Douglas R. Smith Kestrel Institute 3260 Hillview Avenue Palo Alto, CaliforniaUSA