Algebraic Specifications in Software Engineering: An Introduction

By Ivo Van Horebeek, J. Lewi, Johan Lewi Ivo Van Horebeek

"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... This description may be from another edition of this product.

• Format: Hardcover
• Language: English
• ISBN: 3540516263
• ISBN13: 9783540516262
• Release Date: December 1989
• Publisher: Springer
• Length: 350 Pages
• Weight: 1.76 lbs.