294007
9780201416350
This book brings together recent research work on algebraic specification (AS), which aims to provide formal techniques for the specification and prototyping of software.Bergstra, J. A. is the author of 'Algebraic Specification' with ISBN 9780201416350 and ISBN 0201416352.
[read more]