Zobrazuji výsledky
1 - 2
z
2
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
Žánr:
NOT
učebnice
AND
sborníky
Doporučená témata:
programování
AND
verifikace programu
PSH:
NOT
podnikové informační systémy
Autor:
NOT
Horváth, Zoltán
NOT
Voronkov, Andrei
Zrušit filtry
Zobrazit filtry (7)
Žánr:
NOT
učebnice
AND
sborníky
Doporučená témata:
programování
AND
verifikace programu
PSH:
NOT
podnikové informační systémy
Autor:
NOT
Horváth, Zoltán
NOT
Voronkov, Andrei
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í:
programování
verifikace programu
CAD
1
Zobrazuji výsledky
1 - 2
z
2
pro vyhledávání '
'
, doba hledání: 0,08 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
Formal methods in computer-aided design : First international conference, FMCAD'96, Palo Alto, CA, USA, November 6-8, 1996. Proceedings
Vydáno:
1996
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
FME 1997 : Industrial applications and strengthened foundations of formal methods, 4th International Symposium of Formal Methods Europe, Graz, Austria September 15-19, 1997. Procee...
Vydáno:
1997
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
2
NTK
Médium
2
Kniha
Signatura
1
Q - Věda
1
T - Technologie
Autor
1
Camilleri, Albert
1
Fitzgerald, John, 1965-
1
Jones, C. B. (Cliff B.), 1944-
1
Lucas, Peter
1
Srivas, Mandayam
Jazyk
2
angličtina
Žánr
sborníky
Rok vydání
Od:
do:
PSH
2
programování
2
verifikace programu
1
CAD
×
Načítá se...