Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-3 of 3 results for author "Oliveira, José N."
Advanced functional programming : Third International School, AFP '98, Braga, Portugal, September 12-19, 1998 : revised lectures / S. Doaitse Swierstra, Pedro R. Henriques, José N. Oliveira (eds.).
- Text
- Berlin ; New York : Springer, 1999.
- 1999
- 1 Item
Item details Format Call Number Item Location Text QA76.62 .A39 1998 Off-site Mathematics of program construction : 5th International Conference, MPC 200, Ponte de Lima, Portugal, July 200 : proceedings / Roland Backhouse, José Nuno Oliveira (eds.).
- Text
- Berlin ; New York : Springer, 2000.
- 2000
- 1 Item
Item details Format Call Number Item Location Text QA76.6 .I5535 2000 Off-site FME 2001 : formal methods for increasing software productivity : [10th] International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001 : proceedings / José Nuno Oliveira, Pamela Zave (eds.).
- Text
- New York : Springer, 2001.
- 2001
- 1 Item
Item details Format Call Number Item Location Text QA76.76.D47 I593 2001 Off-site
No results found from Digital Research Books Beta
Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.
