Formal description techniques. Vol. V : Internat. conf. for distributed systems and communications protocols - FORTE '92, Perros-Guirec, France, 13 - 16 Oct. 1992 /

Uloženo v:
Podrobná bibliografie
Hlavní autor: Doldi, L.
Korporativní autor: Internat. conf. for distributed systems and communications protocols - FORTE '92 France, Perros-Guirec
Další autoři: Diaz, M. (Editor), Groz, R.
Médium: Konferenční příspěvek Kniha
Jazyk:angličtina
Vydáno: Amsterdam : North-Holland Publishing, 1993
Vydání:[1st ed.]
Edice:IFIP transactions C : Communication systems C-10
Témata:
počítačová sieť > protokol > elektronické spracúvanie údajov > LOTOS > Alcatel > overovanie > formálny jazyk
ISBN:0444892826
ISSN:0926-549X
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 20220617171937.0
008 940127s1993 ne e ||||||eng d
020 |a 0444892826 
022 |a 0926-549X 
035 |a CVTIDW0917266 
040 |b slo  |a CVTI SR 
041 0 |a eng 
044 |a ne 
080 |a 681.3  |2 UDC-MRF 
080 |a 681.324  |2 UDC-MRF 
100 1 |a Doldi, L. 
111 0 |a Internat. conf. for distributed systems and communications protocols - FORTE '92  |d (13 - 16 Oct. 1992 :  |c France, Perros-Guirec) 
242 1 0 |a Metódy formalneho opisu. V 
245 1 0 |a Formal description techniques. Vol. V :  |b Internat. conf. for distributed systems and communications protocols - FORTE '92, Perros-Guirec, France, 13 - 16 Oct. 1992 /  |c Authors: L. Doldi and Co. ; Red. M. Diaz, R. Groz 
250 |a [1st ed.] 
260 |a Amsterdam :  |b North-Holland Publishing,  |c 1993 
300 |a XVI, 508 s., príl. :  |b grafy, lit., obr., tab. ; 
490 0 |a IFIP transactions C : Communication systems  |v C-10 
653 1 |a počítačová sieť  |a protokol  |a elektronické spracúvanie údajov  |a LOTOS  |a Alcatel  |a overovanie  |a formálny jazyk 
700 1 |a Diaz, M.  |4 edt 
700 1 |a Groz, R. 
760 1 |t IFIP transactions C  |g C-10 
910 |b A540770  |b A539219 
919 |a 0-444-89282-6 
974 |f Knihy 
992 |a AZN 
999 |c 77316  |d 77316 

Podobné jednotky