Recent trends in algebraic development techniques : 17th international workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004 : revised selected papers / José Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas (eds.).

Author/creator WADT 2004
Other author Fiadeiro, José Luiz, 1961-
Other author Mosses, Peter.
Other author Orejas, F. (Fernando)
Format Electronic
Publication InfoBerlin ; New York : Springer, ©2005.
Descriptionviii, 269 pages : illustrations ; 24 cm.
Supplemental ContentRestricted to SpringerLink subscribers
Subjects

Portion of title WADT 2004
SeriesLecture notes in computer science ; 3423, 0302-9743 ;
Lecture notes in computer science 3423. ^A466336
General note"WADT 2004 took place at the Technical University of Catalonia (UPC)"--Pref.
Bibliography noteIncludes bibliographical references and index.
Other formsAlso issued online.
LCCN 2005922176
ISBN3540253270
ISBN9783540253273

Availability

Library Location Call Number Status Item Actions
Joyner General Stacks QA76.754 .W32 2004 ✔ Available Place Hold