Algebraic Specifications in Software Engineering: An Introduction
Ivo Van Horebeek, Johan Lewi
[PDF.mk33] Algebraic Specifications in Software Engineering: An Introduction Rating: 4.97 (518 Votes)
Algebraic Specifications in Software Ivo Van Horebeek, Johan Lewi epub Algebraic Specifications in Software Ivo Van Horebeek, Johan Lewi pdf download Algebraic Specifications in Software Ivo Van Horebeek, Johan Lewi pdf file Algebraic Specifications in Software Ivo Van Horebeek, Johan Lewi audiobook Algebraic Specifications in Software Ivo Van Horebeek, Johan Lewi book review Algebraic Specifications in Software Ivo Van Horebeek, Johan Lewi summary | #6257048 in Books | 1989-12-19 | Original language:English | PDF # 1 | .0 x.0 x.0l,.0 | File type: PDF | 350 pages|
"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 wil...
You easily download any file type for your gadget.Algebraic Specifications in Software Engineering: An Introduction | Ivo Van Horebeek, Johan Lewi. A good, fresh read, highly recommended.
