Back to results
Cover image for book Recent Trends in Algebraic Development Techniques

Recent Trends in Algebraic Development Techniques

18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers
By:PierreYves Schobbens; José Luiz Fiadeiro
Publisher:Springer Nature
Print ISBN:9783540719977
eText ISBN:9783540719984
Edition:1
Copyright:2007
Format:Page Fidelity

eBook Features

Instant Access

Purchase and read your book immediately

Read Offline

Access your eTextbook anytime and anywhere

Study Tools

Built-in study tools like highlights and more

Read Aloud

Listen and follow along as Bookshelf reads to you

This book constitutes the thoroughly refereed postproceedings of the 18th International Workshop on Algebraic Development Techniques, WADT 2006, held in La Roche en Ardenne, Belgium, June 2006. The 10 revised full papers focus on the algebraic approach to the specification and development of systems and address topics such as formal methods for system development, specification languages and methods, and distributed and mobile systems.