Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-1 of 1 results for author "Formal Methods Europe (Organization)"
ACSD 2003 : Third International Conference on Application of Concurrency to System Design : proceedings : 18-20 June, 2003, Guimarães, Portugal / edited by Johan Lilius, Felice Balarin, Ricardo J. Machado ; co-sponsored by IPIP WG10.5 ... [et al.] ; in cooperation with FME--Formal Methods Europe ... [et al.].
- Text
- Los Alamitos, Calif. : IEEE Computer Society, c2003.
- 2003
- 1 Item
Item details Format Call Number Item Location Text QA76.9.S88 I563 2003g 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.
