Search results
- CafeOBJ report : the language, proof techniques and methodologies for object-oriented algebraic specification / Razvan Diaconescu, Kokichi Futatsugi . Singapore : World Scientific, c1998 . xxi, 174 s . ISBN 981-02-3513-5 . [1, currently available 1]
Branch Inaccesible Available Issued Reserved Univerzitní knihovna UHK 0 1 0 0 book