Výsledky vyhledávání
- 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, z toho volných 1]
Pobočka Prezenčně Volné Vypůjčené Rezervované Univerzitní knihovna UHK 0 1 0 0 kniha