Compositionality : the significant difference : international symposium, COMPOS'97, Bad Malente, Germany, September 8-12, 1997 : revised lectures /

Bibliographic Details
Corporate Author:	COMPOS '97 Malente, Germany
Other Authors:	Roever, W.-P. de, 1943-, Langmaack, Hans, Pnueli, Amir, 1941-2009
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin ; New York : Springer, [1998]
Series:	Lecture notes in computer science ; 1536.
Subjects:	Parallel processing (Electronic computers) > Congresses. Automatic theorem proving > Congresses.

Remote Storage