![[ICO]](/icons/blank.gif) | Name | Size |
|
![[PARENTDIR]](/icons/back.gif) | Parent Directory | - |
![[IMG]](/icons/image2.gif) | Diaconescu R., Futatsugi K. CafeOBJ report.. the language, proof techniques, and methodologies for object-oriented algebraic specification (WS, 1998)(ISBN 9810235135)(600dpi)(T)(196s)_CsF_.djvu | 0 |
![[ ]](/icons/unknown.gif) | Wellington C.A. Refactoring to agility (AW, 2006)(ISBN 0321486471).chm | 389K |
|