Recent Trends in Algebraic Development Techniques 14th International Workshop, WADT '99, Chateau de Bonas, September 15-18, 1999 Selected Papers

Main Author: Bert, Didier
Other Authors: Choppy, Christine, Mosses, Peter
Format: eBook
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2000
Series:Lecture Notes in Computer Science
Subjects:
Online Access:
Collection: Lecture Notes in Computer Science - Collection details see MPG.ReNa
Physical Description:v. digital
ISBN:9783540678984
978-3-540-67898-4