Algebraic Specifications in Software Engineering: An Introduction

by

Write The First Customer Review

"I prefer to view formal methods as tools. the use of which might be helpful." E. W. Dijkstra Algebraic specifications are about to be accepted by industry. Many projects in which algebraic specifications have been used as a design tool have been carried out. What prevents algebraic specifications from breaking through is the absence of introductory descriptions and tools supporting the construction of algebraic specifications. On the one hand. interest from industry will stimulate people to make introductions and tools. ...

Algebraic Specifications in Software Engineering: An Introduction 2011, Springer

ISBN-13: 9783642750328

Softcover Reprint of the Origi edition

Trade paperback

Select
Algebraic Specifications in Software Engineering: An Introduction 1989, Springer

ISBN-13: 9783540516262

Hardcover

Select