Stock image for illustration purposes only - book cover, edition or condition may vary.
Recent Trends in Algebraic Development Techniques
. Ed(S): Fiadeiro, Jose Luiz; Mosses, Peter D.; Orejas, Fernando
€ 66.70
FREE Delivery in Ireland
Description for Recent Trends in Algebraic Development Techniques
Paperback. Editor(s): Fiadeiro, Jose Luiz; Mosses, Peter D.; Orejas, Fernando. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 280 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 229 x 152 x 15. Weight in Grams: 900.
This volume contains selected papers from WADT 2004, the 17th International Workshop on Algebraic Development Techniques. Like its predecessors, WADT 2004 focussed on the algebraic approach to the speci?cation and development of systems, an area that was born around the algebraic speci?cation of abstract data types and encompasses today the formal design of software systems, new speci?cation frameworks and a wide range of application areas. WADT 2004 took place at the Technical University of Catalonia (UPC), Barcelona, Spain, on 27-29 March 2004, and was organized by Fernando Orejas and Jordi Cortadella. ' The program consisted of invited talks by Luis ... Read more
This volume contains selected papers from WADT 2004, the 17th International Workshop on Algebraic Development Techniques. Like its predecessors, WADT 2004 focussed on the algebraic approach to the speci?cation and development of systems, an area that was born around the algebraic speci?cation of abstract data types and encompasses today the formal design of software systems, new speci?cation frameworks and a wide range of application areas. WADT 2004 took place at the Technical University of Catalonia (UPC), Barcelona, Spain, on 27-29 March 2004, and was organized by Fernando Orejas and Jordi Cortadella. ' The program consisted of invited talks by Luis ... Read more
Product Details
Format
Paperback
Publication date
2005
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
280
Condition
New
Series
Lecture Notes in Computer Science / Theoretical Computer Science and General Issues
Number of Pages
280
Place of Publication
Berlin, Germany
ISBN
9783540253273
SKU
V9783540253273
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Recent Trends in Algebraic Development Techniques