Počet záznamů: 1  

CafeOBJ report

  1. Záhlaví-jméno Diaconescu, Razvan (autor)
    Údaje o názvuCafeOBJ report : the language, proof techniques and methodologies for object-oriented algebraic specification / Razvan Diaconescu, Kokichi Futatsugi
    Dal.odpovědnost Futatsugi, Kokichi (autor)
    Vyd.údajeSingapore : World Scientific, c1998
    Fyz.popisxxi, 174 s.
    ISBN981-02-3513-5
    EdiceAMAST series in computing ; 6
    Předmět.hesla počítače
    objektové programování
    programovací jazyky
    algebra
    Konspekt004.4/.6 - Programové vybavení. Programové prostředky
    MDT519
    Země vyd.Malajsie
    Jazyk dok.angličtina
    Počet ex.1, z toho volných 1
    DatabázeNaučná literatura
    SignaturaPřír.čísloLokaceDislokaceInfo
    76514403837KnihovnaIV

Počet záznamů: 1  

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.