Software engineering and formal methods : SEFM 2003, Brisbane, Australia, Sept. 22 to 27, 2003 /

Uloženo v:
Podrobná bibliografie
Hlavní autor: Dromey, R. G.
Médium: Kniha
Jazyk:angličtina
Vydáno: Los Alamitos : IEEE Computer Society, 2003
Vydání:[1st ed.]
Témata:
dynamická sieť > stavový diagram > programovací jazyk > objektovo orientované rozhodovanie
ISBN:0769519490
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 00000nam a2200000 4500
003 SK-BrCVT
005 20220617211935.0
008 031101s2003 xxu e ||||||eng d
020 |a 0769519490 
035 |a CVTIDW0969928 
040 |b slo  |a CVTI SR 
041 0 |a eng 
044 |a xxu 
080 |a 004  |2 UDC-MRF 
080 |a 004.41  |2 UDC-MRF 
100 1 |a Dromey, R. G. 
242 1 0 |a Softvérové inžinierstvo a formálne metódy. 1. medzinárodná konferencia. Zborník 
245 1 0 |a Software engineering and formal methods :  |b SEFM 2003, Brisbane, Australia, Sept. 22 to 27, 2003 /  |c Authors: R. G. Dromey and Co. 
250 |a [1st ed.] 
260 |a Los Alamitos :  |c 2003  |b IEEE Computer Society, 
300 |a X, 229 s. :  |b lit., obr., tab. ; 
653 1 |a dynamická sieť  |a stavový diagram  |a programovací jazyk  |a objektovo orientované rozhodovanie 
910 |b A588634 
919 |a 0-7695-1949-0 
974 |f Knihy 
992 |a AZN 
999 |c 129265  |d 129265 

Podobné jednotky