Lecture Notes in Computer Science
Volume 2267, 2001, DOI: 10.1007/3-540-45645-7

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 and Gianna Reggio

Contents

Viewing all 16 chapters

About This Book

Title
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
Editors
Collection
Computer Science
Subjects
None Assigned
Copyright Year
2001
DOI
10.1007/3-540-45645-7
ISBN
978-3-540-43159-6
Additional Links
Publisher
Springer Berlin / Heidelberg
SpringerLink Date
Thursday, July 31, 2003

About This Book Series

Title
Lecture Notes in Computer Science
Coverage
Volume 1 / 1973 - Volume 7260 / 2012
Collection
Computer Science
Subjects
ISSN
0302-9743 (Print)
1611-3349 (Online)
Additional Links
Publisher
Springer Berlin / Heidelberg
SpringerLink Date
Friday, April 05, 2002