Ivo Van Horebeek – författare
Visar alla böcker från författaren Ivo Van Horebeek. Handla med fri frakt och snabb leverans.
2 produkter
Algebraic Specifications in Software Engineering
An Introduction
Av Johan Lewi, Ivo Van Horebeek
E-bok, 2012
755 kr
Lägg i varukorg
"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 …
Algebraic Specifications in Software Engineering
An Introduction
Av Ivo Van Horebeek, Johan Lewi m. fl.
Häftad, 2011
568 kr
Lägg i varukorg
"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 …
