Research Catalog
Recent trends in algebraic development techniques : 16th international workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers / Martin Wirsing, Dirk Pattinson, Rolf Hennicker (eds.).
- Title
- Recent trends in algebraic development techniques : 16th international workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers / Martin Wirsing, Dirk Pattinson, Rolf Hennicker (eds.).
- Author
- WADT 2002 (2002 : Frauenchiemsee, Germany)
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Use in library | QA76.76.D47 W33 2002 | Off-site |
Details
- Additional Authors
- Description
- viii, 456 p. : ill., music; 24 cm.
- Series Statement
- Lecture notes in computer science ; 2755
- Subjects
- ISBN
- 3540205373 (alk. paper)
- LCCN
- 2003065502
- Owning Institutions
- Columbia University Libraries