Přeskočit na obsah
Verification of asynchronous and parametrized hardware designs — obálka

Verification of asynchronous and parametrized hardware designs

monograph

Věcné třídění

Bibliografické údaje

Vydáno
2010
Místo vydání
Brno
Vydání
Vyd. 1.
Jazyk
Angličtina
Ilustrace
il.

Vydání

  • Tištěná kniha
    Brožovaná vazba

    978-80-214-4214-6 (v knize neuvedeno ; brož.)

    Vydáno:

    Typ obsahu
    Text
    Rozsah
    115 Strany
    Skladba produktu
    Jednosložkový maloobchodní produkt
    Stav vydání
    Neurčeno

Obsahy

Doporučení

Obsahuje bibliografii a bibliografické odkazy

Významná vlastnost

V publikaci uvedeno: Brno : Faculty of Information Technology, Brno University of Technology

Související tituly

Od stejného autora

Obálka není k dispozici

Analysis and testing of concurrent programs — obálka
Analysis and testing of concurrent programs

Vysoké učení technické v Brně

2012

Relational verification of programs with integer data — obálka
Relational verification of programs with integer data

Vysoké učení technické v Brně

2012

Infinity'08 — obálka
Infinity'08

Vysoké učení technické v Brně

2008

Od stejného nakladatele

Obálka není k dispozici

Sauroprdi

Vysoké učení technické v Brně

2026

Obálka není k dispozici

Alternativní zdroje elektrické energie

Vysoké učení technické v Brně

2026

Geometric algebra in quantum computing — obálka
Geometric algebra in quantum computing

Vysoké učení technické v Brně

2026

Dotyk mojej podstaty — obálka
Dotyk mojej podstaty

Vysoké učení technické v Brně

2026