Algebraic System Specification and Development (1991)

Contributor(s): Bidoit, Michel (Editor), Kreowski, Hans-Jörg (Editor), Lescanne, Pierre (Editor), Orejas, Fernando (Editor), Sannella, Donald (Editor)

ISBN: 9783540540601

Publisher: Springer

Binding Types:

Paperback

$54.99

Digicover (1-4 copies)

$67.94 (Final Price)

Readerbound (5-99 copies)

$66.74 (100+ copies: $65.99)

List/retail price:

$54.99

Pub Date: June 26, 1991

Dewey: 004.21

LCCN: 91013193

Lexile Code: 0000

Features: Annotated, Bibliography

Target Age Group: NA to NA

Physical Info: 0.24" H x 9.21" L x 6.14" W ( 0.38 lbs) 184 pages

BISAC Categories:

Series: Lecture Notes in Computer Science

Descriptions, Reviews, etc.

Description: This book is an annotated bibliography providing an up-to-date overview of past and present work on algebraic specification. Some indications of how the different approaches are related are included, together with some ideas concerning possible future developments.