Compositionality
Subtitle: the significant difference : international symposium, COMPOS '97, Bad Malente, Germany, September 8-12, 1997 : revised lectures
By: Willem-Paul de Roever, Hans Langmaack, Amir Pnueli (eds.).
Contributors: Roever, W. P. de; Langmaack, Hans.; Pnueli, A.
Series: Lecture notes in computer science -- 1536.
Publisher: Springer
Published: 1998
Place of publication: Berlin; New York
Language: eng
Number of pages: 646
Subjects: Parallel processing (Electronic computers) -- Congresses; Automatic theorem proving -- Congresses; Automatic theorem proving -- Congresses; Parallel processing (Electronic computers) -- Congresses
Notes: Includes bibliographical references and index.