Ցուցադրվում են 1 - 1 արդյունքները 1 այս փնտրման համար 'Кларк, Эдмунд М., мл', հարցման ժամանակը: 0.01s Հստակեցնել արդյունքները
  1. 1
    Верификация моделей программ= Model Checking /
    Кларк, Эдмунд М., мл
    Հրապարակվել է 2002
    Գիրք
    Պահել ցուցակում
    Պահպանված է:
Որոնման գործիքներ: Ստացեք RSS հոսք – Էլփոստով ուղարկեք այս փնտրումը