Výsledky vyhledávání - abstraction techniques for modeling and verification

Doporučená témata ve výsledcích tohoto hledání:
  • Zobrazuji výsledky 1 - 3 z 3
Upřesnit hledání
  1. 1
    Obálka

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

    ISBN: 9783319576855
    Vydáno: Cham : Springer International Publishing, 2018.

    Získat plný text
    Elektronický zdroj E-kniha
    Přidat do oblíbených
    Uloženo v:
  2. 2
    Obálka

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

    ISBN: 9783319666198
    Vydáno: Cham : Springer International Publishing, 2018.

    Získat plný text
    Elektronický zdroj E-kniha
    Přidat do oblíbených
    Uloženo v:
  3. 3
    Obálka

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

    ISBN: 9783319629209
    ISSN: 1876-1100 ;
    Vydáno: Cham : Springer International Publishing, 2018.

    Získat plný text
    Elektronický zdroj E-kniha
    Přidat do oblíbených
    Uloženo v:

Vyhledávací nástroje: