Workshop Concurrency, Specification, and Programming
Subtitle: CS&P '2004, Caputh, September 24-26
By: edited by Gabriela Lindemann ; H.-D. Burkhard ... [et al.] (co-eds.).
Contributors: Lindemann, Gabriela; Humboldt-Universität zu Berlin
Series: Informatik-Berichte -- Nr. 170; Informatik-Berichte (Humboldt-Universität zu Berlin) -- Nr. 170
Publisher: Humboldt-Universität zu Berlin
Published: 2004
Place of publication: Berlin
Language: ger
Number of pages: 587
Subjects: Electronic data processing; Congresses; Distributed processing; Petri nets; Computer software; Specifications; Intelligent agents (Computer software)
Notes: Title from cover.

"September 2004"--T.p. verso.