Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-2 of 2 results for author "Schulte, Wolfram."
Formal methods and software engineering : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings / Jim Davies, Wolfram Schulte, Mike Barnett (eds.).
- Text
- Berlin : Springer, c2004.
- 2004
- 1 Item
Item details Format Call Number Item Location Text JSE 05-410 Offsite Formal methods and software engineering : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings / Jim Davies, Wolfram Schulte, Mike Barnett (eds.).
- Text
- Berlin : Springer, [2004], ©2004.
- 2004-2004
- 1 Item
Item details Format Call Number Item Location Text QA76.9.F67 I5788 2004g 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