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

Cover Image

2

TAPSOFT'97: Theory and Practice of Software Development : 7th International Joint Conference CAAPFASE, Lille, France, April 14-18, 1997, Proceedings

by Bidoit, Michel
Published 1997

Springer Berlin Heidelberg

Cover Image

3

CASL User Manual : Introduction to Using the Common Algebraic Specification Language

by Bidoit, Michel
Published 2004

Springer Berlin Heidelberg

Cover Image

4

Algebraic system specification and development : A survey and annotated bibliography

by Bidoit, Michel
Published 1991

Springer

Cover Image

5

CASL User Manual : Introduction to Using the Common Algebraic Specification Language

by Bidoit, Michel, Mosses, Peter D.
Published 2004

Springer Berlin Heidelberg

Cover Image

6

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: “...Bidoit, Michel...”

Cover Image

7

TAPSOFT'97: Theory and Practice of Software Development : 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings

Published 1997

Springer Berlin Heidelberg

Other Authors: “...Bidoit, Michel...”

Cover Image

8

Algebraic System Specification and Development : A Survey and Annotated Bibliography

Published 1991

Springer Berlin Heidelberg

Other Authors: “...Bidoit, Michel...”