Ցուցադրվում են 1 - 1 արդյունքները 1 այս փնտրման համար 'Kroger, Fred, 1945-', հարցման ժամանակը: 0.05s Հստակեցնել արդյունքները
  1. 1
    Temporal logic of programs /
    Kroger, Fred, 1945-
    Հրապարակվել է 1987
    Գիրք
    Պահել ցուցակում
    Պահպանված է:
Որոնման գործիքներ: Ստացեք RSS հոսք – Էլփոստով ուղարկեք այս փնտրումը