MODEL CHECKING. Verification of parallel and distributed software systems. CD-ROM / MODEL CHECKING. Verifikatsiya parallelnykh i raspredelennykh programmnykh sistem. CD-ROM
EAN/UPC/ISBN Code
9785977504041, 9785977504041
Author
Ю. Г. Карпов
Producer
БХВ-Петербург
Weight
655 gr
Pages
552
Year of production
2010
Binding
70x100/16
