Stock Image

Recent Trends in Algebraic Development Techniques: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers . Computer Science and General Issues)

0 ratings by Goodreads
ISBN 10: 3642284116 / ISBN 13: 9783642284113
Published by Springer, 2012
Used Condition: As New
From Better World Books (Mishawaka, IN, U.S.A.)

AbeBooks Seller Since August 3, 2006 Seller Rating 5-star rating

Quantity Available: 1

Buy Used
Price: US$ 87.48 Convert Currency
Shipping: Free Within U.S.A. Destination, rates & speeds
Add to basket

30 Day Return Policy

About this Item

Book in almost Brand New condition. Bookseller Inventory # GRP74556827

Ask Seller a Question

Bibliographic Details

Title: Recent Trends in Algebraic Development ...

Publisher: Springer

Publication Date: 2012

Book Condition:As New

Edition: 2012th Edition.

About this title


This book constitutes the thoroughly refereed post-conference proceedings of the 20th International Workshop on Algebraic Development Techniques, WADT 2010, held in July 2010 in Etelsen, Germany. The 15 revised papers presented were carefully reviewed and selected from 32 presentations. The workshop deals with the following topics: foundations of algebraic specification; other approaches to formal specification including process calculi and models of concurrent, distributed and mobile computing; specification languages, methods, and environments; semantics of conceptual modeling methods and techniques; model-driven development; graph transformations, term rewriting and proof systems; integration of formal specification techniques; formal testing and quality assurance validation, and verification.

"About this title" may belong to another edition of this title.

Store Description

Visit Seller's Storefront

Terms of Sale:

100% refunds guaranteed, no questions asked.

Shipping Terms:

We ship daily!

List this Seller's Books

Payment Methods
accepted by seller

Visa Mastercard American Express