автор: Jr. Edmund M. Clarke поддержка1 Электронные книги Jr. Edmund M. Clarke Jr. Edmund M. Clarke & Orna Grumberg: Model Checking, second edition … EPUB английский DRM €87.70 0 0 касса 0,00 × × × Изменить язык пользователя × арабскийНемецкийанглийскийиспанскийФранцузскийхиндииндонезийскийитальянскиймалайскийнидерландский языкпольскийпортугальскийрумынскийрусскийшведскийтайскийтурецкийукраинецвьетнамскийкитайский языкInternational Modal ×