Zobrazuji výsledky
1 - 16
z
16
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
Jazyk:
angličtina
Doporučená témata:
NOT
architektura
AND
programování
Oblast:
NOT
Čína
Autor:
NOT
SpringerLink (online služba)
PSH:
verifikace programu
Zrušit filtry
Zobrazit filtry (6)
Jazyk:
angličtina
Doporučená témata:
NOT
architektura
AND
programování
Oblast:
NOT
Čína
Autor:
NOT
SpringerLink (online služba)
PSH:
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í:
programování
verifikace programu
16
algoritmizace
4
počítačová bezpečnost
4
software
2
sémantika programovacích jazyků
2
CAD
1
více ...
globální analýza
1
simulace a modelování
1
softwarové inženýrství
1
vývoj
1
méně ...
Zobrazuji výsledky
1 - 16
z
16
pro vyhledávání '
'
, doba hledání: 0,15 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
Partial-order methods for the verification of concurrent systems : an approach to the state-explosion problem
Autor
Godefroid, Patrice
Vydáno:
1996
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
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:
Computer aided verification : 9th international conference, CAV '97, Haifa, Israel, June 22-25, 1997. Proceedings
Vydáno:
1997
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Static analysis : 11th international symposium, SAS 2004, Vernona, Italy, August 26-28, 2004 : proceedings
Vydáno:
2004
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Coordination models and languages : 5th international conference, Coordination 2002, York, UK, April 8-11, 2002 : proceedings
Vydáno:
2002
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Computer aided verification : 11th international conference, CAV'99 Trento, Italy, July 6-10, 1999. Proceedings
Vydáno:
1999
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
CONCUR 1999 : Concurrency theory. 10th international conference, Eindhoven, The Netherlands, August 24-27, 1999. Proceedings
Vydáno:
1999
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
FME 2001 : Formal methods for increasing software productivity. International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001. Proceedings
Vydáno:
2001
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Computer aided verification : 12th international conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000. Proceedings
Vydáno:
2000
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
CONCUR 2000 : Concurrency theory. 11th international conference, University Park, Pa, USA, August 22-25, 2000. Proceedings
Vydáno:
2000
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Computer aided verification : 13th international conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings
Vydáno:
2001
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Formal methods for components and objects : first international symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002 : revised lectures
Vydáno:
2003
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Static analysis : 12th international symposium, SAS 2005, London, UK, September 7-9, 2005 : proceedings
Vydáno:
2005
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Static analysis : 14th international symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007 : proceedings
Vydáno:
2007
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Static analysis : 13th international symposium, SAS 2006, Seoul, Korea, August 29-31, 2006 : proceedings
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
16
NTK
Médium
16
Kniha
Signatura
15
Q - Věda
1
T - Technologie
Autor
1
Arbab, F. (Farhad)
1
Baeten, J. C. M. (Josephus Cornelis M.), 1954-
1
Berry, Gérard
1
Boer, Frank S. de
1
Camilleri, Albert
1
Comon, Hubert, 1957-
více ...
1
Emerson, E. Allen
1
Filé, Gilberto, 1951-
1
Finkel, Alain, 1958-
1
Fitzgerald, John, 1965-
1
Giacobazzi, Roberto, 1964-
1
Godefroid, Patrice
1
Grumberg, Orna
1
Halbwachs, Nicolas
1
Hankin, Chris, 1954-
1
Jones, C. B. (Cliff B.), 1944-
1
Lucas, Peter
1
Mauw, Sjouke
1
Nielson, Hanne Riis, 1954-
1
Oliveira, José
1
Palamidessi, Catuscia
1
Peled, Doron A., 1962-
1
Sistla, A. Prasad
1
Siveroni, Igor
1
Srivas, Mandayam
1
Talcott, Carolyn
1
Yi, Kwangkeun
1
Zave, Pamela
Zobrazit vše ...
méně ...
Jazyk
angličtina
Žánr
4
sborníky konferencí
2
sborníky
Rok vydání
Od:
do:
PSH
16
programování
verifikace programu
4
algoritmizace
4
počítačová bezpečnost
2
software
2
sémantika programovacích jazyků
více ...
1
CAD
1
globální analýza
1
simulace a modelování
1
softwarové inženýrství
1
vývoj
Zobrazit vše ...
méně ...
×
Načítá se...