There's still time! Find the perfect Father's Day gift with store pickup | Shop NowThere's still time! Find the perfect Father's Day gift with store pickup | Shop Now
Add Item to wish listAdd Item to wish list

Algebraic System Specification and Development: A Survey and Annotated Bibliography

By Michel Bidoit (Editor), Hans-Jörg Kreowski (Editor), Pierre Lescanne (Editor), Fernando Orejas (Editor), Donald Sannella (Editor)
Paperback
$54.99
By Michel Bidoit (Editor), Hans-Jörg Kreowski (Editor), Pierre Lescanne (Editor), Fernando Orejas (Editor), Donald Sannella (Editor)
Promotion message icon
Premium Members save an extra 10% and all Members collect stamps to save with Rewards. 10 stamps = $5.Learn More
Formats
In stock
This item is currently out of stock online.
Free standard shipping on orders over $60
Select a store to view item availability.
Methods for the algebraic specification of abstract data types were proposed in the early 1970s in the USA and Canada and became a major research issue in Europe shortly afterwards. Since then the algebraic approach has come to play a central role in research on formal specification and development, as its range of applications was extended to the specification of complete software systems, to the formal description of the program development process, and to the uniform definition of syntax...

Categories

Science & TechnologyComputersEngineeringElectrical & Electronic EngineeringComputers - General & MiscellaneousComputer Architecture/Engineering