European joint conferences on theory and practice of software. 2003 : ETAPS, 2003

Uloženo v:
Podrobná bibliografie
Korporativní autor: ETAPS
Médium: Konferenční příspěvek Zvuková nahrávka
Jazyk:angličtina
Vydáno: Berlin : Springer, 2003
Vydání:[1st ed.]
Témata:
programovací jazyk > bezpečnostný protokol > hybridný systém > Petriho sieť > objektovo orientované modelovanie > rozhodovací diagram > sémantika > logika
On-line přístup: Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

MARC

LEADER 00000nim a2200000 4500
003 SK-BrCVT
005 20220617211311.0
008 030901s2003 gw e ||||||eng d
035 |a CVTIDW0969321 
040 |b slo  |a CVTI SR 
041 0 |a eng 
044 |a gw 
080 |a 004.4  |2 UDC-MRF 
080 |a 004.7  |2 UDC-MRF 
080 |a 519.87  |2 UDC-MRF 
080 |a 510.27  |2 UDC-MRF 
111 0 |a ETAPS  |f 2003 
242 1 0 |a Európske konferencie o teórii a praxi softvéru. 2003 
245 1 0 |a European joint conferences on theory and practice of software. 2003 :  |b ETAPS, 2003 
250 |a [1st ed.] 
260 |a Berlin :  |b Springer,  |c 2003 
300 |a 1 CD. 
653 1 |a programovací jazyk  |a bezpečnostný protokol  |a hybridný systém  |a Petriho sieť  |a objektovo orientované modelovanie  |a rozhodovací diagram  |a sémantika  |a logika 
910 |b Z000086 
974 |f Knihy 
992 |a JDC 
999 |c 126900  |d 126900 

Podobné jednotky