Журнал - Model Checking. Верификация параллельных и распределенных программных систем

Журналы онлайн » Облако тегов » Model Checking. Верификация параллельных и распределенных программных систем
Model Checking. Верификация параллельных и распределенных программных систем, 2011 Карпов Ю.Г.
Model Checking. Верификация параллельных и распределенных программных систем, 2011 Карпов Ю.Г.
Model Checking. Верификация параллельных и распределенных программных систем, 2011 Карпов Ю.Г.
00
Model Checking. Верификация параллельных и распределенных программных систем, 2011 Карпов Ю.Г.
...