Stock image for illustration purposes only - book cover, edition or condition may vary.
Algebraic Specifications in Software Engineering
Horebeek, Ivo Van; Lewi, Johan
€ 65.09
FREE Delivery in Ireland
Description for Algebraic Specifications in Software Engineering
Paperback. Num Pages: 350 pages, biography. BIC Classification: UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 242 x 170 x 19. Weight in Grams: 628.
"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. whereas on the other hand the existence of introductions and tools will stimulate industry to use algebraic specifications. This book ... Read more
"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. whereas on the other hand the existence of introductions and tools will stimulate industry to use algebraic specifications. This book ... Read more
Product Details
Format
Paperback
Publication date
2011
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
350
Condition
New
Number of Pages
350
Place of Publication
Berlin, Germany
ISBN
9783642750328
SKU
V9783642750328
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Algebraic Specifications in Software Engineering