Algebraic System Specification and Development: A Survey and Annotated Bibliography: 501 (Lecture Notes in Computer Science)
by Fernando Orejas,Michel Bidoit,Hans-J??rg Kreowski,Donald Sannella,Pierre Lescanne
ISBN 13: 9783540540601
Format: Paperback (112 pages) Publisher: Springer Published: 26 Jun 1991
Save for later
TAPSOFT'97: Theory and Practice of Software Development : 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings: 1214 (Lecture Notes in Computer Science)
by Michel Bidoit, Max Dauchet
ISBN 13: 9783540627814
Format: Paperback (908 pages) Publisher: Springer Published: 02 Apr 1997
Recent Trends in Data Type Specification: 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, ... Papers (Lecture Notes in Computer Science)
by Christine Choppy,Michel Bidoit
ISBN 13: 9783540563792
Format: Paperback (360 pages) Publisher: Springer Published: 13 Jun 2008
CASL User Manual: Introduction to Using the Common Algebraic Specification Language: 2900 (Lecture Notes in Computer Science, 2900)
by Michel Bidoit,Peter D. Mosses
ISBN 13: 9783540207665
Format: Paperback (260 pages) Publisher: Springer Published: 13 Jun 2008