RecordNumber
79208
Author
Classen, Ingo
Title
Algebraic specification techniques and tools for software development : the ACT approach
Author Statement
Ingo Claben, Hartmut Ehrig, Dietmar Wolz
Publication
World scientific
Publication Year
c1993
Collation
xvi, 237 p. : ill, tables
Series
AMAST series in computing; vol. 1
Bibliography
Bibliography: p. 221- 229
Subject
Computer software- Development , Compilers (Computer programs)
ADDED ENTRIES
Ehrig, Hartmut
Main Class
005
Sub Class
.1201512
Cutter no
C614a
وارد كنندة اطلاعات
fazel^d2007/01/02 10:37:59