Sitewide Free Shipping - Limited Time Only - No Minimum Spend - T&C's Apply
Track My Order
Help Centre
Likes
My Wish ListsLogin / Join
Booktopia
Australia's local bookstore
Get Free Shipping on orders over $0
Recent Trends in Algebraic Development Techniques : 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers - Till Mossakowski

Recent Trends in Algebraic Development Techniques

20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers

By: Till Mossakowski, ?HansJörg Kreowski

eText | 21 February 2012 | Edition Number 1

At a Glance

eText

$84.99

or 4 interest-free payments of $21.25 with

 or 

Instant online reading in your Booktopia eTextbook Library *

Why choose an eTextbook?

Instant Access *

Purchase and read your book immediately

Read Aloud

Listen and follow along as Bookshelf reads to you

Study Tools

Built-in study tools like highlights and more

* eTextbooks are not downloadable to your eReader or an app and can be accessed via web browsers only. You must be connected to the internet and have no technical issues with your device or browser that could prevent the eTextbook from operating.
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.
on
Desktop
Tablet
Mobile

You Can Find This eBook In

Non-FictionComputing & I.T.Computer Programming & Software DevelopmentMathematicsMathematical FoundationMathematical LogicDatabasesData Capture & AnalysisComputer ScienceApplied Mathematics

More in Mathematical Logic

Symbolic Logic - Lewis Carroll

eBOOK

Symbolic Logic

eBook

$2.99

The Game of Logic - Lewis Carroll

eBOOK

The Game of Logic

eBook

$2.99

The Book of Infinity - Joel David Hamkins

eBOOK

The Book of Infinity

eBook

RRP $127.08

$101.99

20%
OFF
The Game of Logic - Lewis Carroll

eBOOK

The Game of Logic

eBook

$3.29

Symbolic Logic - Lewis Carroll

eBOOK

Symbolic Logic

eBook

$3.29

Single Digits : In Praise of Small Numbers - Marc Chamberland

eBOOK

Single Digits

In Praise of Small Numbers

eBook

RRP $39.60

$31.99

19%
OFF

This product is categorised by