WADT 2006: Recent Trends in Algebraic Development Techniques: 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006 ; revised selected papers

Shelfclass_id 3.A
Sortkey WADT
Authors Josâe Luiz Fiadeiro, Pierre-Yves Schobbens
Title WADT 2006: Recent Trends in Algebraic Development Techniques: 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006 ; revised selected papers
Publisher Springer
Year 2007
Languages eng
Isbn 3540719970, 9783540719977
Series Lecture Notes in Computer Science
Volume 4409
Issn 0302-9743
Description (pbk.) (pbk.) 170 p. ill. 24 cm.
Record date 20090223
Location Berlin
Keywords Computer software, Computer science, Abstract data types (Computer science)
Notes International conference proceedings.
Urlnote Restricted to SpringerLink subscribers
Urls http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=4409