Recent Trends in Algebraic Development Techniques : 15th International Workshop, WADT 2001, joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001 : selected papers

Author(s)

• WADT
• Cerioli, Maura
• Reggio, Gianna

Bibliographic Information

Recent Trends in Algebraic Development Techniques : 15th International Workshop, WADT 2001, joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001 : selected papers

Maura Cerioli, Gianna Reggio (eds.)

（Lecture notes in computer science, 2267）

Springer, c2001

Note

Includes bibliographical references and index

Details

• NCID: BA55536400
• ISBN:
  • 3540431594
• Country Code: gw
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Berlin
• Pages/Volumes: x, 343 p.
• Size: 24 cm
• Classification:
  • LCC : QA76.76.D47
• Subject Headings:
  • LCSH : Computer software -- Development -- Congresses
  • LCSH : Computer science -- Mathematics -- Congresses
  • LCSH : Abstract data types (Computer science)
• Parent Bibliography ID:
  • BA00009279