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
Algebraic and Logic Programming: International Workshop, Gaussig, GDR, November 14-18, 1988. Proceedings: 343 (Lecture Notes in Computer Science)
by Jan Grabowski,Wolfgang Wechler,Pierre Lescanne
ISBN 13: 9783540506676
Format: Paperback (284 pages) Publisher: Springer Published: 13 Jun 2008