Zobrazuji výsledky
1 - 7
z
7
pro vyhledávání '
'
Přeskočit na obsah
Toggle navigation
English
Odhlásit
Jednotné přihlášení NTK
Vše
Název
Autor
Předmětové heslo
LCC signatura
Stará signatura
ISBN/ISSN
Tag
Systémové číslo
Hledat
Pokročilé vyhledávání
Zrušit filtry
Doporučená témata:
testování
AND
verifikace programu
Zrušit filtry
Zobrazit filtry (2)
Doporučená témata:
testování
AND
verifikace programu
Hlavní strana
Vyhledávání:
Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
testování
verifikace programu
hardware
4
software
4
algoritmizace
1
objektově orientované programování
1
počítače
1
více ...
programovací jazyky
1
softwarové inženýrství
1
spolehlivost programu
1
sémantika programovacích jazyků
1
méně ...
Zobrazuji výsledky
1 - 7
z
7
pro vyhledávání '
'
, doba hledání: 0,05 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
Correct hardware design and verification methods : 11th IFIP WG 10.5 advanced research working conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001 : proceedings
Vydáno:
2001
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Hardware and software verification and testing : first International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005 : revised selected papers
Vydáno:
2006
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
All about Maude : a high-performance logical framework : how to specify, program and verify systems in rewriting logic
Vydáno:
2007
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Tests and proofs : first international conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007 : revised papers
Vydáno:
2007
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Hardware and software, verification and testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 : revised selected papers
Vydáno:
2007
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Creating assertion-based IP
Autor
Foster, Harry D., 1956-
Vydáno:
2008
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Formal approaches to software testing and runtime verification : first combined international workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006 : revised sele...
Vydáno:
2006
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
7
NTK
Médium
7
Kniha
Signatura
5
Q - Věda
1
T - Technologie
Autor
2
Bin, Eyal
2
Ur, Shmuel
1
Clavel, Manuel, 1969-
1
Foster, Harry D., 1956-
1
Gurevich, Yuri, 1940-
1
Havelund, Klaus, 1955-
více ...
1
Krolnik, Adam
1
Margaria, Tiziana
1
Melham, T. F. (Tom F.), 1960-
1
Meyer, Bertrand, 1950-
1
Wolfsthal, Yaron
1
Ziv, Avi
Zobrazit vše ...
méně ...
Jazyk
7
angličtina
Žánr
4
sborníky konferencí
1
elektronicke knihy
1
monografie
Rok vydání
Od:
do:
PSH
7
testování
7
verifikace programu
4
hardware
4
software
1
algoritmizace
1
objektově orientované programování
více ...
1
počítače
1
programovací jazyky
1
softwarové inženýrství
1
spolehlivost programu
1
sémantika programovacích jazyků
Zobrazit vše ...
méně ...
×
Načítá se...