Enlarge

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

Publication Data

Title Compositionality : the significant difference : international symposium, COMPOS '97, Bad Malente, Germany, September 8-12 1997 : revised lectures
Contributors W.-P. de Roever, H. Langmaack, Amir Pnueli
Publisher Springer
Publication date 1998
Publication location Berlin
Language English

Topics

Parallel processing (Electronic computers) :: Congresses
Automatic theorem proving :: Congresses

Catalogue Data

OBNB ID GB9908436
ISBN 10 3540654933
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 004.35

ISBD

P1053 646p.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Compositionality : the significant difference : international symposium, COMPOS '97, Bad Malente, Germany, September 8-12 1997 : revised lectures. ISBN 3540654933. Published by Springer in 1998. Publication and catalogue information, links to buy online and reader comments.