Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Selected filters.Clear Filters
Displaying 1-1 of 1 results for author "IFIP Working Conference on Formal Description of Programming Concepts (1982 : Garmisch-Partenkirchen, Germany)"
Formal description of programming concepts--II : proceedings of the IFIP Working Conference on Formal Description of Programming Concepts--II, Garmisch-Partenkirschen, FRG, 1-4 June 1982 / edited by Dines Bjørner.
- Text
- 1983
- 2 Items
Item details Format Call Number Item Location Text QA76.6 .I25 1982 Off-site Item details Format Call Number Item Location Text QA76.6 .I25 1982 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