catalog / TECHNICAL SCIENCES / Mathematical and software of computer systems, complexes and computer networks
скачать файл: 
- title:
- Коннов Игорь Владимирович. Верификация параметризованных моделей распределенных систем
- university:
- Моск. гос. ун-т им. М.В. Ломоносова
- The year of defence:
- 2008
- brief description:
- Коннов Игорь Владимирович. Верификация параметризованных моделей распределенных систем : диссертация ... кандидата физико-математических наук : 05.13.11 / Коннов Игорь Владимирович; [Место защиты: Моск. гос. ун-т им. М.В. Ломоносова].- Москва, 2008.- 198 с.: ил. РГБ ОД, 61 08-1/608
- Стоимость доставки:
- 230.00 руб