-
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
-
Link To Document :
