.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Recent Trends in Algebraic Development Techniques
N/A
€ 67.93
FREE Delivery in Ireland
Description for Recent Trends in Algebraic Development Techniques
Paperback. 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. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 182 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 10. Weight in Grams: 600.
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.
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.
Product Details
Format
Paperback
Publication date
2007
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
182
Condition
New
Series
Lecture Notes in Computer Science / Theoretical Computer Science and General Issues
Number of Pages
174
Place of Publication
Berlin, Germany
ISBN
9783540719977
SKU
V9783540719977
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Recent Trends in Algebraic Development Techniques