Compositionality
Subtitle: the significant difference : international symposium, COMPOS '97, Bad Malente, Germany, September 1997 : revised lectures
By: Willem-Paul de Roever, Hans Langmaack, Amir Pnueli (eds.).
Contributors: Roever, W.-P. de, 1943-; 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
Genres: Congresses.