Skip to main content

CURRENTLY SOLD OUT

Recent Trends in Algebraic Development Techniques: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers by Till Mossakowski, Hans-Joerg Kreowski (Paperback, 2012)

About this product

About this product

Product Information

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.

Product Identifiers

Publisher
Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
ISBN-13
9783642284113
eBay Product ID (ePID)
113795118

Product Key Features

Author
Till Mossakowski, Hans-Joerg Kreowski
Publication Name
Recent Trends in Algebraic Development Techniques: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers
Format
Paperback
Language
English
Subject
Computer Science, Mathematics
Publication Year
2012
Type
Textbook
Number of Pages
303 Pages

Dimensions

Item Height
235mm
Item Width
155mm
Volume
7137
Item Weight
454g

Additional Product Features

Series Title
Lecture Notes in Computer Science
Editor
Till Mossakowski, Hans-Joerg Kreowski
Country/Region of Manufacture
Germany

Best Selling in Adult Learning & University

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Best Selling in Adult Learning & University

Eduqas GCSE (9-1) Religious Studies Route B: Catholic Christianity and Judaism by Deirdre Cleary, Andrew Barron, Joy White, Patrick Harrison (Paperback, 2017)
No ratings or reviews yet.
AU $100.97 New
---- Used
Australian Guidebook for Structural Engineers by Lonnie Pack (Paperback, 2019)
No ratings or reviews yet.
AU $84.19 New
---- Used
Taking Charge of Adult ADHD by Christine M. Benton, Russell A. Barkley (Paperback, 2021)
No ratings or reviews yet.
AU $42.53 New
AU $25.84 Used
Time Management by Peter Quarry (Paperback, 1986)
No ratings or reviews yet.
AU $16.99 New
---- Used

Save on Adult Learning & University

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Save on Adult Learning & University

Tim Heard Keeping Stingless Bee Hives For Pets, Pollination and Sugarbag Honey
AU $31.98
Trending at AU $35.72
Weed Forager's Handbook: A Guide to Edible and Medicinal Weeds in Australia by A
AU $19.95
Trending at AU $20.74
Netter Atlas of Human Anatomy: Classic Regional Approach
AU $113.94
Trending at AU $122.65
Classical Mechanics: The Theoretical Minimum by George Hrabovsky
AU $27.46
Trending at AU $31.72
Havard's Nursing Guide to Drugs
AU $74.99
Trending at AU $77.06
T. Jared Bunch Matthew LaPlante John D. Day The AFib Cure (Paperback)
AU $42.25
Trending at AU $45.65

You may also like

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- You may also like