Zobrazuji výsledky
1 - 12
z
12
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:
Filtry: 4
NOT
architektura
NOT
algoritmizace
AND
programování
AND
verifikace programu
Oblast:
NOT
Čína
Autor:
NOT
SpringerLink (online služba)
Žánr:
NOT
monografie
Zrušit filtry
Zobrazit filtry (8)
Jazyk:
angličtina
Doporučená témata:
Filtry: 4
NOT
architektura
NOT
algoritmizace
AND
programování
AND
verifikace programu
Oblast:
NOT
Čína
Autor:
NOT
SpringerLink (online služba)
Žánr:
NOT
monografie
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
software
2
sémantika programovacích jazyků
2
CAD
1
globální analýza
1
simulace a modelování
1
více ...
softwarové inženýrství
1
vývoj
1
méně ...
Zobrazuji výsledky
1 - 12
z
12
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
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:
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:
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
12
NTK
Médium
12
Kniha
Signatura
11
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
Finkel, Alain, 1958-
1
Fitzgerald, John, 1965-
1
Godefroid, Patrice
1
Grumberg, Orna
1
Halbwachs, Nicolas
1
Jones, C. B. (Cliff B.), 1944-
1
Lucas, Peter
1
Mauw, Sjouke
1
Oliveira, José
1
Palamidessi, Catuscia
1
Peled, Doron A., 1962-
1
Sistla, A. Prasad
1
Srivas, Mandayam
1
Talcott, Carolyn
1
Zave, Pamela
Zobrazit vše ...
méně ...
Jazyk
angličtina
Žánr
2
sborníky
1
sborníky konferencí
Rok vydání
Od:
do:
PSH
12
programování
12
verifikace programu
2
software
2
sémantika programovacích jazyků
1
CAD
1
globální analýza
více ...
1
simulace a modelování
1
softwarové inženýrství
1
vývoj
Zobrazit vše ...
méně ...
×
Načítá se...