Name: recent trends in algebraic development techniques
Price: 124.14 NZD
Availability: InStock
ISBN: 9783540662464

Select your country

Americas

Europe

Rest of the world

portada recent trends in algebraic development techniques

recent trends in algebraic development techniques

Type

Physical Book

Publisher

Springer

Language

English

Pages

340

ISBN

3540662464

ISBN13

9783540662464

Synopsis "recent trends in algebraic development techniques"

this book constitutes the thoroughly refereed post-workshop proceedings of the 13th international workshop on algebraic development techniques, wadt98, held in lisbon, portugal, in april 1998, as part of etaps98.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.

Customers reviews

Have you read this book? Login to add your review.

More customer reviews

0% (0)
0% (0)
0% (0)
0% (0)
0% (0)

Frequently Asked Questions about the Book

Is the book original?

All books in our catalog are Original.

In what language is the book written?

The book is written in English.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews