Algebraic specification techniques and tools for software development : the ACT approach / Ingo Claèn, Hartmut Ehrig, Dietmar Wolz
Main Author
Classen, Ingo
Coauthor
Ehrig, Hartmut
Dietmar, Wolz
Country
Singapura.
Publication
Singapore : World Scientific, cop. 1994
Description
XVI, 237 p. :
il. ;
23 cm
Series
AMAST series in computing , 1
ISBN
981-02-1227-5
CDU
681.3.06
There are no comments for this item.