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 /

Bibliographic Details
Corporate Author:	WADT 2001. Genoa, Italy (Conference)
Other Authors:	Cerioli, Maura, Reggio, Gianna, 1957-
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin : London : Springer, [2001]
Series:	Lecture notes in computer science. 2267.
Subjects:	Computer software > Development > Congresses. Computer science > Mathematics > Congresses. Abstract data types (Computer science) > Congresses.
Online Access:	http://link.springer-ny.com/link/service/series/0558/tocs/t2267.htm

Description
Physical Description:	x, 343 pages : illustrations ; 24 cm. Also available via the World Wide Web.
Bibliography:	Includes bibliographical references and index.
ISBN:	3540431594
ISSN:	0302-9743 ;