ISBN 9783540719977,Recent Trends in Algebraic Development Techniques

Recent Trends in Algebraic Development Techniques

Rs3348 Rs4835 31% OFF

Publisher

Ingram Publisher Services

Publication Year 2007
ISBN-13

ISBN 9783540719977

ISBN-10 3540719970
Binding

Paperback

Number of Pages 182 Pages
Subject

Computer programming / software development

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. This title addresses topics such as formal methods for system development, specification languages and methods, and distributed and mobile systems.
Scroll