Recent trends in algebraic development techniques:13th international workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998 : selected papers
Saved in:
Corporate Authors: | |
---|---|
Group Author: | |
Published: |
Springer,
|
Publisher Address: | Berlin |
Publication Dates: | c1999. |
Literature type: | Book |
Language: | English |
Series: |
Lecture notes in computer science ; 1589 |
Subjects: | |
Carrier Form: | x, 340 p.: ; 24 cm. |
ISBN: | 3540662464 (softcover : alk. paper) |
Index Number: | TP301 |
CLC: | TP301.6-532 |
Call Number: | TP301.6-532/W926.4/1998 |
Contents: |
"This volume contains papers selected from WADT'98 the 13th Workshop on Algebraic Development Techniques, ... WADT'98 was organized as part of the first European Joint conferences on theory and Practice of Software (ETAPS). It took place at the Gulbenkian Foundation in Lisbon, Portugal, April 2-4, 1998." Includes bibliographical references. |