Algebraic specification techniques and tools for software development
Subtitle: the ACT approach
By: Ingo Claszen, Hartmut Ehrig, Dietmar Wolz.
Contributors: Ehrig, Hartmut.; Wolz, Dietmar.
Series: AMAST series in computing ;; vol. 1
Publisher: World Scientific
Published: 1993
Place of publication: Singapore; River Edge, N.J
Language: eng
Number of pages: 237
Subjects: Computer software -- Development.; Compilers (Computer programs).
Notes: Includes bibliographical references (p. 221-229) and index.