Recent Trends in Algebraic Development Techniques: 14th International Workshop, Wadt '99, Chateau de Bonas, September 15-18, 1999 Selected Papers
Format: paperback
ISBN:
9783540678984 (3540678980)
Publish date: September 6th 2000
Publisher: Springer
Pages no: 490
Edition language: English