Algebraic Specification (Acm Press Frontier Series)
Released: Jan 01, 1989
Publisher: Assn for Computing Machinery
Format: Hardcover, 416 pages
to view more data
Description:
This book brings together recent research work on algebraic specification (AS), which aims to provide formal techniques for the specification and prototyping of software.
We're an Amazon Associate. We earn from qualifying purchases at Amazon and all stores listed here.