-
1TAPSOFT '97: Theory and Practice of Software Development [electronic resource] : 7th International Joint Conference CAAP/FASE Lille, France, April 14–18, 1997 Proceedings / TAPSOFT '97: Theory and Practice of Software Development [electronic resource] : 7th International Joint Conference CAAP/FASE Lille, France, April 14–18, 1997 Proceedings /Texto bibliotecaCOLPOS
-
2TAPSOFT '97: Theory and Practice of Software Development [electronic resource] : 7th International Joint Conference CAAP/FASE Lille, France, April 14–18, 1997 Proceedings / TAPSOFT '97: Theory and Practice of Software Development [electronic resource] : 7th International Joint Conference CAAP/FASE Lille, France, April 14–18, 1997 Proceedings /Texto bibliotecaCOLPOS
-
3Recent Trends in Data Type Specification [electronic resource] : 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop Dourdan, France, August 26... Recent Trends in Data Type Specification [electronic resource] : 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop Dourdan, France, August 26...by Bidoit, Michel. editor., Choppy, Christine. editor., SpringerLink (Online service)
Published 1993Texto bibliotecaCOLPOS -
4Recent Trends in Data Type Specification [electronic resource] : 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop Dourdan, France, August 26... Recent Trends in Data Type Specification [electronic resource] : 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop Dourdan, France, August 26...by Bidoit, Michel. editor., Choppy, Christine. editor., SpringerLink (Online service)
Published 1993Texto bibliotecaCOLPOS -
5
-
6Algebraic system specification and development [electronic resource] : A survey and annotated bibliography / Algebraic system specification and development [electronic resource] : A survey and annotated bibliography /by Bidoit, Michel. editor., Kreowski, Hans-Jörg. editor., Lescanne, Pierre. editor., Orejas, Fernando. editor., Sannella, Donald. editor., SpringerLink (Online service)
Published 1991Texto bibliotecaCOLPOS -
7Algebraic system specification and development [electronic resource] : A survey and annotated bibliography / Algebraic system specification and development [electronic resource] : A survey and annotated bibliography /by Bidoit, Michel. editor., Kreowski, Hans-Jörg. editor., Lescanne, Pierre. editor., Orejas, Fernando. editor., Sannella, Donald. editor., SpringerLink (Online service)
Published 1991Texto bibliotecaCOLPOS