Algebraic Specification

J. Heering, Paul Klint, J. A. Bergstra — 1989

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

Audiobook

Libro.fmAudiobooks.com

We may earn a commission. Learn more.

No reviews yet.
Be the first to write one.

No highlights yet.
Be the first to share one.