Author - Ю. Г. Карпов
-
EAN 9785941572854 1.78 USD -
EAN 9785977504041 9.68 USD
Теория и технология программирования. Основы построения трансляторов. Гриф УМО университетов РФ
MODEL CHECKING. Verification of parallel and distributed software systems. CD-ROM / MODEL CHECKING. Verifikatsiya parallelnykh i raspredelennykh programmnykh sistem. CD-ROM