Recent Trends in Algebraic Development Techniques Image close
Recent Trends in Algebraic Development Techniques
Recent Trends in Algebraic Development Techniques
Show Hide Adult Content
Recent Trends in Algebraic Development Techniques close

Non-Fiction Books:

Home  
Books  
Non-Fiction  
Maths & Science  
Mathematics  
Mathematical foundations

Recent Trends in Algebraic Development Techniques

20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$138.99
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $34.75 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 11-21 June using International Courier

Explore more Lecture Notes in Computer Science,

See all products in this series

Theory and Applications of Models of Computation
$337.99
Theory and Applications of Models of Computation
Paperback / softback
Pre-order - out 21 May 2024
Advances in Knowledge Discovery and Data Mining
$288.99
Advances in Knowledge Discovery and Data Mining
Paperback / softback
Pre-order - out 27 May 2024
Discrete Geometry and Mathematical Morphology by Sara Brunetti
$291.99
Discrete Geometry and Mathematical Morphology
by Sara Brunetti ~ Paperback / softback
Pre-order - out 6 Jun 2024
Advances in Knowledge Discovery and Data Mining
$242.99
Advances in Knowledge Discovery and Data Mining
Paperback / softback
Pre-order - out 27 May 2024
Mathematical Foundations of Programming Semantics Save $50
$146.99
$197.95
Mathematical Foundations of Programming Semantics
Paperback / softback
Available - Usually ships in 3-4 weeks
7th International Conference on Automated Deduction
$291.99
7th International Conference on Automated Deduction
Paperback / softback
Available - Usually ships in 3-4 weeks
Applications of Evolutionary Computing Save $11
$283.99
$295.95
Applications of Evolutionary Computing
Paperback / softback
Available - Usually ships in 3-4 weeks
Data Mining Save $29
$139.99
$169.95
Data Mining
Paperback / softback
Available - Usually ships in 3-4 weeks
Gesture-Based Communication in Human-Computer Interaction
$276.99
Gesture-Based Communication in Human-Computer Interaction
Paperback / softback
Available - Usually ships in 3-4 weeks
Constraints in Computational Logics Save $39
$140.99
$180.95
Constraints in Computational Logics
Paperback / softback
Available - Usually ships in 3-4 weeks
Web Engineering Save $13
$144.99
$158.95
Web Engineering
Paperback / softback
Available - Usually ships in 3-4 weeks
Human-Computer Interaction -- INTERACT 2011 Save $12
$280.99
$293.95
Human-Computer Interaction -- INTERACT 2011
Paperback / softback
Available - Usually ships in 3-4 weeks
Natural and Artificial Computation in Engineering and Medical Applications
$144.99
Natural and Artificial Computation in Engineering and Medical...
Paperback / softback
Available - Usually ships in 3-4 weeks
Advances in Cryptology - ASIACRYPT '96 Save $54
$141.99
$196.95
Advances in Cryptology - ASIACRYPT '96
Paperback / softback
Available - Usually ships in 3-4 weeks
WALCOM: Algorithms and Computation
$139.99
WALCOM: Algorithms and Computation
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Methods for Industrial Critical Systems
$139.99
Formal Methods for Industrial Critical Systems
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

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.
Release date Australia
February 21st, 2012
Audience
  • Professional & Vocational
Contributors
  • Edited by Hans-Jorg Kreowski
  • Edited by Till Mossakowski
Illustrations
X, 303 p.
Pages
303
Dimensions
155x235x18
ISBN-13
9783642284113
Product ID
19745290

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Non-Fiction >
Maths & Science >
Mathematics >
Mathematical foundations
Books >
Non-Fiction >
Maths & Science >
Mathematics >
Mathematical foundations >
Mathematical logic
Books >
Computers & Internet >
Theory & Design >
Mathematical theory of computation
Books >
Computers & Internet >
Computer Programming
Books >
Computers & Internet >
Social & Legal Aspects >
Human-computer interaction
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation >
Maths for computer scientists