Michel Bidoit books & textbook
Algebraic System Specification and Development: A Survey and Annotated Bibliography (Lecture Notes in Computer Science, 501)
Bidoit, Michel Kreowski, Hans-Jörg Lescanne, Pierre Orejas, Fernando Sannella, Donald
Springer /1991-06-26 Paperback / 196 Pages
isbn-10: 3540540601 / isbn-13: 9783540540601
CASL User Manual: Introduction to Using the Common Algebraic Specification Language (Lecture Notes in Computer Science, 2900)
Bidoit, Michel Mosses, Peter D.
Springer /2004-01-29 Paperback / 260 Pages
isbn-10: 354020766X / isbn-13: 9783540207665
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)
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG /1997-04-01 Paperback / 892 Pages
Recent Trends in Data Type Specification: 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, ... (Lecture Notes in Computer Science, 655)
Bidoit, Michel Choppy, Christine
Springer /1993-01-29 Paperback / 356 Pages
isbn-10: 3540563792 / isbn-13: 9783540563792
DocSciences, N° 15, mai 2013 : Entre les hommes et les machines : Automatique et traitement du signal
Paperback
isbn-10: 286637567X / isbn-13: 9782866375676
