Počet záznamů: 1
CafeOBJ report
Záhlaví-jméno Diaconescu, Razvan (autor) Údaje o názvu CafeOBJ report : the language, proof techniques and methodologies for object-oriented algebraic specification / Razvan Diaconescu, Kokichi Futatsugi Dal.odpovědnost Futatsugi, Kokichi (autor)
Vyd.údaje Singapore : World Scientific, c1998 Fyz.popis xxi, 174 s. ISBN 981-02-3513-5 Edice AMAST series in computing ; 6 Předmět.hesla počítače objektové programování programovací jazyky algebra Konspekt 004.4/.6 - Programové vybavení. Programové prostředky MDT 519 Země vyd. Malajsie Jazyk dok. angličtina Počet ex. 1, z toho volných 1 Databáze Naučná literatura Signatura Přír.číslo Lokace Dislokace Info 76514 403837 Knihovna IV
Počet záznamů: 1