"12" Result
Sort By:
This book brings together recent research work on algebraic specification (AS), which aims to provide formal techniques for the specification and prototyping of software. The book uses a practical approach to the design and use of AS formalisms, and illustrate how AS techniques …
This book brings together recent research work on algebraic specification (AS), which aims to provide formal techniques for the specification and prototyping of software. The book uses a practical approach to the design and use of AS formalisms, and illustrate how AS techniques …
