Number of the records: 1
CafeOBJ report
Main entry-name Diaconescu, Razvan (author) Title statement CafeOBJ report : the language, proof techniques and methodologies for object-oriented algebraic specification / Razvan Diaconescu, Kokichi Futatsugi Another responsib. Futatsugi, Kokichi (author)
Issue data Singapore : World Scientific, c1998 Phys.des. xxi, 174 s. ISBN 981-02-3513-5 Edition AMAST series in computing ; 6 Subj. Headings počítače objektové programování programovací jazyky algebra Conspect 004.4/.6 - Programové vybavení. Programové prostředky UDC 519 Country Malajsie Language English Copy count 1, currently available 1 Database Naučná literatura Call number Track No. Location Sublocation Info 76514 403837 Knihovna IV
Number of the records: 1