Formal Techniques for Networked and Distributed Systems - FORTE 2002 : 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings /

Պահպանված է:
Մատենագիտական մանրամասներ
Հիմնական հեղինակ: Doron A. Peled, Moshe Y. Vardi (edición)
Ձևաչափ: Գիրք
Լեզու:անգլերեն
Հրապարակվել է: Berlín, Alemania : Springer, 2002, c2002
Շարք:(Lecture Notes in Computer Science)
Առցանց հասանելիություն:Ver documento en línea
Ցուցիչներ: Ավելացրեք ցուցիչ
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!