MPG.eBooks - Author Search Results

Cover Image

1

Recent Trends in Data Type Specification : 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop Dourdan, France, August 26–30, 1991 Selected Pap...

by Bidoit, Michel
Published 1993

Springer

Other Authors: “...Choppy, Christine...”

Cover Image

2

Recent Trends in Algebraic Development Techniques : 14th International Workshop, WADT '99, Chateau de Bonas, September 15-18, 1999 Selected Papers

by Bert, Didier
Published 2000

Springer Berlin Heidelberg

Other Authors: “...Choppy, Christine...”

Cover Image

3

Foundations of Computer Software: Future Trends and Techniques for Development : 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers

Published 2010

Springer Berlin Heidelberg

Other Authors: “...Choppy, Christine...”

Cover Image

4

Recent Trends in Data Type Specification : 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991. Selected P...

Published 1993

Springer Berlin Heidelberg

Other Authors: “...Choppy, Christine...”

Cover Image

5

Recent Trends in Algebraic Development Techniques : 14th International Workshop, WADT '99, Chateau de Bonas, September 15-18, 1999 Selected Papers

Published 2000

Springer Berlin Heidelberg

Other Authors: “...Choppy, Christine...”