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