Area della Ricerca di Padova
Corso Stati Uniti,4 35127 Padova (ITALY) - Tel.+39 049 8295611 - Fax.+39 049 8295671

Unhighlight Highlight
1. Computational category theory / by Rydeheard, David E. Publication: New York ; London : Prentice-Hall, 1988 . XIV, 257 p. ; 24 cm. Date:1988 Availability: No items available: Checked out (1), Actions:
2. Implementing functional languages / by Peyton Jones, Simon L. Publication: New York : Prentice Hall, 1992 . XVII, 281 p. ; 24 cm. Date:1992 Availability: No items available: Checked out (1), Actions:
3. Verifiable programming / by Dahl, Ole-Johan Publication: New York : Prentice Hall, 1992 . IX, 269 p. ; 24 cm. Date:1992 Availability: No items available: Checked out (1), Actions:
4. Programming language concepts and paradigms / by Watt, David A. Publication: New York : Prentice Hall, 1990 . XVI, 322 p. : 23 cm. Date:1990 Availability: No items available: Checked out (1), Actions:
5. Object-oriented software construction / by Meyer, Bertrand Publication: New York : Prentice Hall, 1988 . XVIII, 534 p. : 24 cm. Date:1988 Availability: No items available: Checked out (1), Actions:
6. Concurrent program structures / by Bustard, David Publication: New York : Prentice Hall, 1988 . XI, 321 p. : 24 cm. Date:1988 Availability: No items available: Checked out (1), Actions:
7. Functional programming using standard ML / by Wikstrom, Ake Publication: London : Prentice Hall, 1987 . XVII, 446 p. ; 24 cm. Date:1987 Availability: No items available: Checked out (1), Actions:
8. Communicating sequential processes / by Hoare, Charles Antony Richard Publication: Englewood Cliffs, [N.J.] : Prentice/Hall International, 1985 . VIII, 256 p. : 24 cm. Date:1985 Availability: No items available: Checked out (1), Actions:
9. Micro-PROLOG : programming in logic / by Clark, Keith L. Publication: Englewood Cliffs, [N. J.] : Prentice/Hall International, 1984 . XI, 401 p. : 23 cm. Date:1984 Availability: No items available: Checked out (1), Actions:
10. Introduction to Pascal / by Welsh, Jim Publication: Englewood Cliffs : Prentice-Hall International, 1982 . XXI, 307 p. : 23 cm. Date:1982 Availability: No items available: Checked out (1), Actions:
11. Principles of programming languages / by Tennent, R. D. Publication: Englewood Cliffs : Prentice / Hall International, 1981 . XIV, 271 p. : 24 cm. Date:1981 Availability: No items available: Checked out (1), Actions:
12. Computer science : a mathematical introduction / by Lew, Art Publication: Englewood Cliffs : Prentice-Hall International, 1985 . XXVI, 421 p. : 23 cm. Date:1985 Availability: No items available: Checked out (1), Actions:
13. Syntax of programming languages : theory and practice / by Backhouse, Roland C. Publication: Englewood Cliffs, [N.J.] : Prentice-Hall International, 1979 . XV, 301 p. : 24 cm. Date:1979 Availability: No items available: Checked out (1), Actions:
14. An introduction to functional programming / by Bird, Richard J. Publication: New York : Prentice, 1988 . XV, 293 p. ; 23 cm. Date:1988 Availability: No items available: Checked out (1), Actions: