ISBN: 9789810212278 - algebraic specification techniques and tools for software development: the act approach (amast series in computing, band 1) (4 Ergebnisse)

Hard Cover. Zustand: Acceptable. Zustand des Schutzumschlags: Acceptable. AMST Series In Computing Vol. 1. The interior is clean and tight. Binding is good. Jacket shows slight wear. Cover is good. 237 pages including index.

Hardcover. Zustand: Brand New. 8.75x6.25x0.75 inches. In Stock.

Zustand: New. Explains how algebraic specification methods can be used for software development to support reliability, modifiability and reusability. These methods are introduced by parameterized and module specifications through practical examples and case studies. Series: AMAST Series in Computing. Num Pages: 256 pages, illustrations. BIC Classification: UMZ; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate; (XV) Technical / Manuals. Dimension: 220 x 162 x 19. Weight in Grams: 485. . 1993. Illustrated. hardcover. . . . . Books ship from the US and Ireland.…

Zustand: New. InhaltsverzeichnisAlgebraic specfication as formal method for software development ACT one - a language for parameterized specification ACT two - a language for module specification the ACT environment. Appendix: algebraic concepts an.