Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-5 of 5 results for author "Le Métayer, D. (Daniel)"
Prospects for functional programming in software engineering / J.-P. Banâtre, S.B. Jones, D. Le Métayer.
- Text
- Berlin ; New York : Springer-Verlag, [1991], ©1991.
- 1991-1991
- 1 Item
Item details Format Call Number Item Location Text QA76.62 .B36 1991 Off-site Research directions in high-level parallel programming languages : Mont Saint-Michel, France, June 17-19, 1991 : proceedings / J.B. [i.e. P] Banâtre, D. Le Métayer, eds.
- Text
- Berlin ; New York : Springer-Verlag, [1992], ©1992.
- 1992-1992
- 1 Item
Item details Format Call Number Item Location Text QA76.642 .R47 1992 Off-site Coordination programming : mechanisms, models, and semantics / editors J.-M. Andreoli, C. Hankin, D. Le Métayer.
- Text
- London : Imperial College Press ; Singapore ; River Edge, NJ : Distributed by World Scientific, [1996], ©1996.
- 1996-1996
- 1 Item
Item details Format Call Number Item Location Text QA76.6 .C654 1996 Off-site Programming languages and systems : 11th European Symposium on Programming, ESOP 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings / Daniel Le Métayer (ed.).
- Text
- New York : Springer, 2002.
- 2002
- 2 Items
Item details Format Call Number Item Location Text Off-site Not available - Please for assistance.Item details Format Call Number Item Location Text QA76.6 .E976 2002 Off-site Research directions in high-level parallel programming languages : Mont Saint-Michel, France, June 17-19, 1991 : proceedings / J.P. Banâtre, D. Le Métayer, eds.
- Text
- 1991
- 1 Item
Item details Format Call Number Item Location Text QA76.642 .R47 1991 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.
Explore Digital Research Books Beta