МУИС-ийн номын сан

Formal Techniques in Real-Time and Fault-Tolerant Systems: third international symposium organized jointly with the Working Group Provably Correct Systems, ProCoS, Lübeck, Germany, September 19-23, 1994 : proceedings

Зохиогч: Langmaack, Hans; Roever, W.-P. de, Vytopil, J.

Цувралын зохиогч: Lecture Notes in Computer Science v. 863
Гаралтын мэдээ: Berlin Springer 1994

Шифр: 32.973 L 34.
Номын сан:
Гадаад фонд (1).

Бэлэн (1).

MARC:
ISBD:

Захиалах

Номын байршил

МУИС-ийн номын сан catalog › Details for: Formal Techniques in Real-Time and Fault-Tolerant Systems

Нийт ( 1 )

Номын сангийн нэр	Дансны дугаар	Төлөв	Санамжууд	Буцаах огноо
Гадаад фонд	6017609	Бэлэн	Гадаад номын уншлагын танхим