Výsledky vyhľadávania - abstraction techniques for modeling and verification

Doporučené témy ve výsledcích tohoto hledání:
  • Zobrazené výsledky 1 - 3 z 3
Upresniť hľadanie
  1. 1
    Obálka

    Formal System Verification State-of the-Art and Future Trends /

    ISBN: 9783319576855
    Vydavateľské údaje: Cham : Springer International Publishing, 2018.

    Získať plný text
    Elektronický zdroj E-kniha
    Pridať do obľúbených
    Uložené v:
  2. 2
    Obálka

    Low-Power Design and Power-Aware Verification Autor Khondkar, Progyna

    ISBN: 9783319666198
    Vydavateľské údaje: Cham : Springer International Publishing, 2018.

    Získať plný text
    Elektronický zdroj E-kniha
    Pridať do obľúbených
    Uložené v:
  3. 3
    Obálka

    Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2016 /

    ISBN: 9783319629209
    ISSN: 1876-1100 ;
    Vydavateľské údaje: Cham : Springer International Publishing, 2018.

    Získať plný text
    Elektronický zdroj E-kniha
    Pridať do obľúbených
    Uložené v:

Vyhľadávacie nástroje: