Ցուցադրվում են 1 - 1 արդյունքները 1 այս փնտրման համար 'Saukkonen, Samuli', հարցման ժամանակը: 0.01s Հստակեցնել արդյունքները
  1. 1
    A constructive method for the architectural design and correctness verification of real-time programs /
    Թեզիս Գիրք
    Saukkonen, Samuli
    Հրապարակվել է 1983
    Պահել ցուցակում
    Պահպանված է:
Որոնման գործիքներ: Ստացեք RSS հոսք – Էլփոստով ուղարկեք այս փնտրումը