ReČeK

Externí odkazy

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

Relational verification of programs with integer data

monograph

Radu IosifautorAutoritní záznam NK ČRKonečný FilipautorAutoritní záznam NK ČRVojnar TomášautorAutoritní záznam NK ČR

Věcné třídění

Bibliografické údaje

Vydáno
2012
Jazyk
Angličtina

Vydání

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

    978-80-214-4654-0 (brož.)

    Vydáno:

Související tituly

Od stejného autora

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

Verification of asynchronous and parametrized hardware designs

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