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

By: De Roever Willem-Paul | Langmaack, Hans | Pnueli, Amir EdsMaterial type: TextTextSeries: Lecture notes in computer science ; 01536Publication details: Berlin ; Springer ; 1998Description: 646ISBN: 3540654933Subject(s): Parallel processing (Electronic computers) Congresses. Automatic theorem proving Congresses
Item type: BOOKS
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha