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 - Lecture Notes in Computer Science - M Cerioli - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540431596 - January 23, 2002
In case cover and title do not match, the title is correct

M Cerioli
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 - Lecture Notes in Computer Science

Price
$ 54.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 10 - 16

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

This text constitutes the refereed proceedings of the 15th International Workshop on Algebraic Development Techniques, WADT 2001, held jointly with the General Workshop of the ESPRIT Working Group CoFI. Among the topics addressed are formal specification, specification languages and term rewriting.

348 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released January 23, 2002
ISBN13 9783540431596
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 348
Dimensions 155 × 235 × 18 mm   ·   503 g
Language German  
Editor Cerioli, Maura
Editor Reggio, Gianna

Mere med samme udgiver

See all of M Cerioli ( e.g. Paperback Book )