Research Catalog
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.].
- Title
- 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.].
- Author
- International Conference on Application of Concurrency to System Design (3rd : 2003 : Guimarães, Portugal)
- Publication
- Los Alamitos, Calif. : IEEE Computer Society, c2003.
Items in the Library & Off-site
Filter by
1 Item
Status | Format | Access | Call Number | Item Location |
---|---|---|---|---|
Text | Use in library | QA76.9.S88 I563 2003g | Off-site |
Details
- Additional Authors
- Description
- xii, 251 p. : ill.; 28 cm.
- Alternative Title
- Application of concurrency to system design
- Third International Conference on Application of Concurrency to System Design
- Subjects
- Bibliography (note)
- Includes bibliographical references and author index.
- Additional Formats (note)
- Also available via the World Wide Web.
- ISBN
- 0769518877
- LCCN
- 2002116026
- Owning Institutions
- Columbia University Libraries