<p>This book brings together recent research work on algebraic specification (AS), which aims to provide formal techniques for the specification and prototyping of software.</p>

Algebraic Specification (Acm Press Frontier Series)

Computers & Technology

Bergstra, J. A.

Heering, J.

Software

Assn for Computing Machinery

See the best price to sell, buy, or rent books by Bergstra, J. A.. BookScouter helps to compare book prices from 25+ online bookstores and 30+ buyback vendors with a single search.

Books by Bergstra, J. A.

See the best price to sell, buy, or rent books by Bergstra, J. A.. BookScouter helps to compare book prices from 25+ online bookstores and 30+ buyback vendors with a single search.

Algebraic Specification (Acm Press Frontier Series)