автор: Radhia Cousot поддержка3 Электронные книги Radhia Cousot Radhia Cousot: Verification, Model Checking, and Abstract Interpretation … PDF английский DRM €57.85 Radhia Cousot: Static Analysis … PDF английский DRM €58.02 Radhia Cousot & Matthieu Martel: Static Analysis … PDF английский DRM €57.85 0 0 касса 0,00 × × × Изменить язык пользователя × арабскийНемецкийанглийскийиспанскийФранцузскийхиндииндонезийскийитальянскиймалайскийнидерландский языкпольскийпортугальскийрумынскийрусскийшведскийтайскийтурецкийукраинецвьетнамскийкитайский языкInternational Modal ×