Počet záznamů: 1  

VERSOFT: Guide

    1.
    SYSNO ASEP0361331
    Druh ASEPV - Výzkumná zpráva
    Zařazení RIVZáznam nebyl označen do RIV
    NázevVERSOFT: Guide
    Tvůrce(i) Rohn, Jiří (UIVT-O) SAI, RID, ORCID
    Vyd. údajePrague: ICS AS CR, 2011
    EdiceTechnical Report
    Č. sv. ediceV-1118
    Poč.str.6 s.
    Jazyk dok.eng - angličtina
    Země vyd.CZ - Česká republika
    Klíč. slovaVERSOFT ; verification software ; guide
    Vědní obor RIVBA - Obecná matematika
    CEZAV0Z10300504 - UIVT-O (2005-2011)
    PracovištěÚstav informatiky
    KontaktTereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800
    Rok sběru2012
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.

Přijmout všeNastaveníOdmítnout vše