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

21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$149.00
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
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $37.25 with Afterpay Learn more

6 weekly interest-free payments of $24.83 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 2-12 July using International Courier

Explore more Theoretical Computer Science and General Issues

See all products in this series

Modular Ontologies
$152.00
Modular Ontologies
Paperback / softback
Available - Usually ships in 3-4 weeks
Computational Science and Its Applications - ICCSA 2007
$471.00
Computational Science and Its Applications - ICCSA 2007
Paperback / softback
Available - Usually ships in 3-4 weeks
Euro-Par 2013: Parallel Processing Workshops
$308.00
Euro-Par 2013: Parallel Processing Workshops
Paperback / softback
Available - Usually ships in 3-4 weeks
Computational Science -- ICCS 2005
$314.00
Computational Science -- ICCS 2005
Paperback / softback
Available - Usually ships in 3-4 weeks
Computer Algebra in Scientific Computing
$263.00
Computer Algebra in Scientific Computing
Paperback / softback
Available - Usually ships in 3-4 weeks
Implementation and Application of Functional Languages
$191.00
Implementation and Application of Functional Languages
Paperback / softback
Available - Usually ships in 3-4 weeks
Integer Programming and Combinatorial Optimization
$152.00
Integer Programming and Combinatorial Optimization
Paperback / softback
Available - Usually ships in 3-4 weeks
Typed Lambda Calculi and Applications
$148.00
Typed Lambda Calculi and Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Computational Logistics
$191.00
Computational Logistics
Paperback / softback
Available - Usually ships in 3-4 weeks
Mathematical Foundations of Computer Science 2007
$303.00
Mathematical Foundations of Computer Science 2007
Paperback / softback
Available - Usually ships in 3-4 weeks
Graph-Theoretic Concepts in Computer Science
$263.00
Graph-Theoretic Concepts in Computer Science
Paperback / softback
Available - Usually ships in 3-4 weeks
Topics in Theoretical Computer Science
$150.00
Topics in Theoretical Computer Science
Paperback / softback
Available - Usually ships in 3-4 weeks
Applied Parallel and Scientific Computing
$156.00
Applied Parallel and Scientific Computing
Paperback / softback
Available - Usually ships in 3-4 weeks
Learning and Intelligent Optimization
$155.00
Learning and Intelligent Optimization
Paperback / softback
Available - Usually ships in 3-4 weeks
SOFSEM 2009: Theory and Practice of Computer Science
$300.00
SOFSEM 2009: Theory and Practice of Computer Science
Paperback / softback
Available - Usually ships in 3-4 weeks
Nature Inspired Problem-Solving Methods in Knowledge Engineering
$300.00
Nature Inspired Problem-Solving Methods in Knowledge Engineering
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

This book constitutes the thoroughly refereed post-conference proceedings of the 21st International Workshop on Algebraic Development Techniques, WADT 2012, held in June 2012, in Salamanca, Spain. The 16 revised papers presented were carefully reviewed and selected from 25 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 NZ
April 13th, 2013
Audience
  • Professional & Vocational
Contributors
  • Edited by Miguel Palomino
  • Edited by Narciso Marti-Oliet
Illustrations
71 Illustrations, black and white; X, 283 p. 71 illus.
Pages
283
Dimensions
156x234x15
ISBN-13
9783642376344
Product ID
21300949

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