skip to main content
Language:
Refined by: Library: EPBC - Esc. Politécnica-Bib Central remove subject: Técnicas De Programação remove
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Paragon a language using type hierarchies for the specification, implementation, and selection of abstract data types
Paragon a language using type hierarchies for the specification, implementation, and selection of abstract data types
Material Type:
Book 		Add to e-Shelf

Paragon a language using type hierarchies for the specification, implementation, and selection of abstract data types

Mark Steven Sherman

Berlin New York Springer-Verlag c1985

Available at EPBC - Esc. Politécnica-Bib Central    (004.43 PARAGON Sh55p ) and other locations(GetIt)

2
Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science, Montreal, Canada, June 19-23, 1993
Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science, Montreal, Canada, June 19-23, 1993
Material Type:
Book 		Add to e-Shelf

Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science, Montreal, Canada, June 19-23, 1993

Symposium on Logic in Computer Science (8th 1993 Montreal, Canada) ACM Special Interest Group for Automata and Computability Theory; IEEE Computer Society Technical Committee on Mathematical Foundations of Computing

Los Alamitos, Calif. IEEE Computer Society Press c1993

Available at EPBC - Esc. Politécnica-Bib Central    (004.42 Ie2L 8. )(GetIt)

  • Implemented by: ABCD-USP USP   Social Network Logos: Freepik

Searching Remote Databases, Please Wait

  • Searching for
  • inscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
  • Show me what you have so far