Michel Bidoitのリリース

iMusicに在庫あり在庫なし商品を表示

Cover for Michel Bidoit · Casl User Manual: Introduction to Using the Common Algebraic Specification Language - Lecture Notes in Computer Science (Paperback Book) (2004)

Casl User Manual: Introduction t... (2004)

Cover for Michel Bidoit · Tapsoft'97, Theory and Practice of Software Development: 7th International Joint Conference Caap / Fase Lille, France, April 14-18, 1997, Proceedings - Lecture Notes in Computer Science (Paperback Book) (1997)

Tapsoft'97, Theory and Practice... (1997)

Cover for Michel Bidoit · 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 (Workshop on Specification of Abstract Data Types Joint with the 3rd C (Paperback Book) (1993)

Recent Trends in Data Type Speci... (1993)

Cover for Michel Bidoit · Algebraic System Specification and Development: a Survey and Annotated Bibliography - Lecture Notes in Computer Science (Paperback Book) [Annotated edition] (1991)

Annotated edition

Algebraic System Specification a... (1991)