Description: Recent Trends in Algebraic Development Techniques Please note: this item is printed on demand and will take extra time before it can be dispatched to you (up to 20 working days). 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers Author(s): Till Mossakowski, Hans-J?rg Kreowski Format: Paperback Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Germany Imprint: Springer-Verlag Berlin and Heidelberg GmbH & Co. K ISBN-13: 9783642284113, 978-3642284113 Synopsis 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.
Price: 38.28 GBP
Location: Aldershot
End Time: 2024-12-28T09:07:26.000Z
Shipping Cost: 28.64 GBP
Product Images
Item Specifics
Return postage will be paid by: Buyer
Returns Accepted: Returns Accepted
After receiving the item, your buyer should cancel the purchase within: 60 days
Return policy details:
Book Title: Recent Trends in Algebraic Development Techniques
Number of Pages: 303 Pages
Publication Name: Recent Trends in Algebraic Development Techniques: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers
Language: English
Publisher: Springer-Verlag Berlin AND Heidelberg Gmbh & Co. KG
Item Height: 235 mm
Subject: Computer Science, Mathematics
Publication Year: 2012
Type: Textbook
Item Weight: 454 g
Author: Till Mossakowski, Hans-Joerg Kreowski
Item Width: 155 mm
Series: Lecture Notes in Computer Science
Format: Paperback
