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

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computer Programming  
Software engineering

Recent Trends in Algebraic Development Techniques

13th International Workshop, WADT'98 Lisbon, Portugal, April 2-4, 1998 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 10-22 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
$198.00
Fast, Low-resource, and Accurate Organ and Pan-cancer Segmentation in...
Paperback / softback
Pre-order - out 23 Jul 2024
Computer Architecture
$148.00
Computer Architecture
Paperback / softback
Available - Usually ships in 3-4 weeks
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
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
Trends in Functional Programming
$150.00
Trends in Functional Programming
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
The Munich Project CIP
$155.00
The Munich Project CIP
Paperback / softback
Available - Usually ships in 3-4 weeks
ESOP '88
$151.00
ESOP '88
Paperback / softback
Available - Usually ships in 3-4 weeks
Mathematics of Program Construction
$175.00
Mathematics of Program Construction
Paperback / softback
Available - Usually ships in 3-4 weeks
Software Engineering
$131.00
Software Engineering
Paperback / softback
Available - Usually ships in 3-4 weeks
An Attribute Grammar for the Semantic Analysis of ADA by J. Uhl
$186.00
An Attribute Grammar for the Semantic Analysis of ADA
by J. Uhl ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Computer Information Systems and Industrial Management
$238.00
Computer Information Systems and Industrial Management
Paperback / softback
Available - Usually ships in 3-4 weeks
Computer Aided Verification
$137.00
Computer Aided Verification
Paperback / softback
Available - Usually ships in 3-4 weeks
Cooperative Information Systems
$213.00
Cooperative Information Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Virtual Reality and Mixed Reality
$150.00
Virtual Reality and Mixed Reality
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

This book constitutes the thoroughly refereed post-workshop proceedings of the 13th International Workshop on Algebraic Development Techniques, WADT'98, held in Lisbon, Portugal, in April 1998, as part of ETAPS'98.The 21 revised full papers presented were selected during two rounds of reviewing and revision for inclusion in the book. The papers address all current issues in the area, in particular algebraic (and other) specification techniques, algebraic combination of logics, algebraic structures and logics for concurrency, other algebraic structures and their logics, specification languages and their associated methods and tools, and term rewriting and theorem proving.
Release date NZ
July 28th, 1999
Audience
  • Professional & Vocational
Contributor
  • Edited by Jose L. Fiadeiro
Illustrations
X, 346 p.
Pages
346
Dimensions
155x233x18
ISBN-13
9783540662464
Product ID
2814689

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 >
Computers & Internet >
Computer Programming >
Software engineering
Books >
Computers & Internet >
Computer Programming >
Compilers & interpreters
Books >
Computers & Internet >
Computer Programming >
Programming languages
Books >
Computers & Internet >
Computer programming / software development >
Compilers
Books >
Computers & Internet >
Computer programming / software development >
Programming & scripting languages: general
Books >
Computers & Internet >
Computer programming / software development >
Software Engineering