Jump to main content

yr 〜
yr

Search results 6

CASL user manual : introduction to using the Common Algebraic Specification Language

CASL user manual : introduction to using the Common Algebraic Specification Language
Paper図書
Michel Bidoit, Peter D. Mosses ; with chapters by Till Mossakowski, Donald Sannella, and Andrzej TarleckiSpringerc2004
Other Libraries in Japan
  • Author HeadingBidoit, M. (Michel) Mosses, Peter D.

TAPSOFT '97 : theory and practice of software development : 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997 : proceedings

TAPSOFT '97 : theory and practice of software development : 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997 : proceedings
Paper図書
Michel Bidoit, Max Dauchet (eds.)Springerc1997
Other Libraries in Japan
  • Author Heading...re Development Bidoit, M. (Michel) Dauchet, Max

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 papers : gw : us

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 papers : gw : us
Paper図書
M. Bidoit, C. Choppy (eds.)Springer-Verlagc1993
Other Libraries in Japan
  • Author Heading...act Data Types Bidoit, M. (Michel) Choppy, C. (Christine) COMPAS...

Algebraic system specification and development : a survey and annotated bibliography : gw : us

Algebraic system specification and development : a survey and annotated bibliography : gw : us
Paper図書
M. Bidoit ... [et al.], (eds.)Springer-Verlagc1991
Other Libraries in Japan
  • Author HeadingBidoit, M. (Michel)

Algebraic system specification and development : a survey and annotated bibliography / M. Bidoit ... [et al.], (eds.). (Lecture notes in computer science)

Algebraic system specification and development : a survey and annotated bibliography / M. Bidoit ... [et al.], (eds.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1991.<M1-A70>
National Diet Library
  • Author HeadingBidoit, M. (Michel) , 1957-

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 papers / M. Bidoit, C. Choppy, eds. (Lecture notes in computer science)

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 papers / M. Bidoit, C. Choppy, eds. (Lecture notes in computer science)
Paper図書
Springer-Verlagc1993.<M15-A8642>
National Diet Library
  • Author Heading...urdan, France) Bidoit, M. (Michel) , 1957- Choppy, C. (Christine...

Reached to the end of result.

RSS