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  
Mathematical logic

Recent Trends in Algebraic Development Techniques

15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001. Selected Papers
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$150.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.50 with Afterpay Learn more

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

Availability

Delivering to:

Estimated arrival:

  • Around 4-16 July using International Courier

Explore more Lecture Notes in Computer Science,

See all products in this series

Fast, Low-resource, and Accurate Organ and Pan-cancer Segmentation in Abdomen CT
$200.00
Fast, Low-resource, and Accurate Organ and Pan-cancer Segmentation in...
Paperback / softback
Pre-order - out 20 Jul 2024
Directions in Human Factors for Interactive Systems by Henry Ledgard
$140.00
Directions in Human Factors for Interactive Systems
by Henry Ledgard ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Semantics of Concurrent Computation
$138.00
Semantics of Concurrent Computation
Paperback / softback
Available - Usually ships in 3-4 weeks
Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985
$180.00
Mathematical Foundations of Software Development. Proceedings of the...
Paperback / softback
Available - Usually ships in 3-4 weeks
Functional and Constraint Logic Programming
$150.00
Functional and Constraint Logic Programming
Paperback / softback
Available - Usually ships in 3-4 weeks
Human-Centered and Error-Resilient Systems Development
$152.00
Human-Centered and Error-Resilient Systems Development
Paperback / softback
Available - Usually ships in 3-4 weeks
Database and Expert Systems Applications
$238.00
Database and Expert Systems Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Computational Science and Its Applications – ICCSA 2020
$289.00
Computational Science and Its Applications – ICCSA 2020
Paperback / softback
Available - Usually ships in 3-4 weeks
Model and Data Engineering
$150.00
Model and Data Engineering
Paperback / softback
Available - Usually ships in 3-4 weeks
Collaboration Technologies and Social Computing
$175.00
Collaboration Technologies and Social Computing
Paperback / softback
Available - Usually ships in 3-4 weeks
Algebraic Semantics by Irene Guessarian
$94.00
Algebraic Semantics
by Irene Guessarian ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Ada Software Tools Interfaces
$151.00
Ada Software Tools Interfaces
Paperback / softback
Available - Usually ships in 3-4 weeks
RIMS Symposium on Software Science and Engineering II
$161.00
RIMS Symposium on Software Science and Engineering II
Paperback / softback
Available - Usually ships in 3-4 weeks
Theory and Practice of Model Transformations
$148.00
Theory and Practice of Model Transformations
Paperback / softback
Available - Usually ships in 3-4 weeks
Product-Focused Software Process Improvement
$152.00
Product-Focused Software Process Improvement
Paperback / softback
Available - Usually ships in 3-4 weeks
Graph Transformation
$149.00
Graph Transformation
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

This book constitutes the thoroughly refereed post-workshop proceedings of the 15th International Workshop on Algebraic Development Techniques, WADT 2001, held jointly with the General Workshop of the ESPRIT Working Group CoFI in Genova, Italy, in April 2001. The book presents 16 papers selected from 32 workshop presentations. Among the topics addressed are formal specification, specification languages, term rewriting, and proof systems.
Release date NZ
January 23rd, 2002
Audience
  • Professional & Vocational
Contributors
  • Edited by Gianna Reggio
  • Edited by Maura Cerioli
Illustrations
X, 348 p.
Pages
348
Dimensions
156x234x18
ISBN-13
9783540431596
Product ID
2823565

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 >
Mathematical logic
Books >
Non-Fiction >
Maths & Science >
Mathematics >
Applied mathematics >
Mathematics for scientists & engineers
Books >
Computers & Internet >
Theory & Design >
Mathematical theory of computation
Books >
Computers & Internet >
Hardware & Operating Systems >
Computer architecture & logic design
Books >
Computers & Internet >
Computer Programming >
Software engineering
Books >
Computers & Internet >
Computer programming / software development >
Software Engineering
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation >
Maths for computer scientists
Books >
Computers & Internet >
Computer science >
Computer architecture & logic design