Журнал - Model Checking. Верификация параллельных и распределенных программных систем
Model Checking. Верификация параллельных и распределенных программных систем, 2011 Карпов Ю.Г.
Model Checking. Верификация параллельных и распределенных программных систем, 2011 Карпов Ю.Г.
- Автор: Model Checking. Верификация параллельных и распределенных программных систем
- Жанр: Программирование
...
