ReČeK

Externí odkazy

Hledat v Souborném katalogu ČRHledat na Knihovny.cz

Verification of asynchronous and parametrized hardware designs

monograph

Smrčka AlešautorAutoritní záznam NK ČRVojnar TomášautorAutoritní záznam NK ČR

Věcné třídění

Bibliografické údaje

Vydáno
2010
Jazyk
Angličtina

Vydání

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

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

    Vydáno:

Související tituly

Od stejného autora

Relational verification of programs with integer data

Vysoké učení technické v Brně

2012

Harnessing forest automata for verification of heap manipulating programs

Vysoké učení technické v Brně

2012

Analysis and testing of concurrent programs

Vysoké učení technické v Brně

2012

Řešení problémů spojených se složitostí a nerozhodnutelností automatizované verifikace počítačových systémů

Vysoké učení technické v Brně

2011

Simulations and antichains for efficient handling of finite automata

Vysoké učení technické v Brně

2010

Infinity'08

Vysoké učení technické v Brně

2008

Od stejného nakladatele

Dotyk mojej podstaty

Vysoké učení technické v Brně

2026

Modely plasticity a tvárného lomu používané pro houževnaté kovové materiály

Vysoké učení technické v Brně

2026

Nové přístupy k čištění spalin a odpadních plynů

Vysoké učení technické v Brně

2026

Entropie elektro(energetiky)

Vysoké učení technické v Brně

2026

Research in the field of neutron dosimetry

Vysoké učení technické v Brně

2026

Alternativní zdroje elektrické energie

Vysoké učení technické v Brně

2026