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

StatusFormatAccessCall NumberItem Location
TextUse in library QA76.9.S88 I563 2003gOff-site

Details

Additional Authors
  • Balarin, Felice.
  • Formal Methods Europe (Organization)
  • IFIP WG 10.5.
  • Lilius, Johan.
  • Machado, Ricardo J.
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