Առաջարկվող թեմաներ ձեր որոնման շրջանակներում:
Ցուցադրվում են 1 - 1 արդյունքները 1 այս փնտրման համար '"Advances in formal methods"', հարցման ժամանակը: 0.02s Հստակեցնել արդյունքները
  1. 1
    Software engineering with OBJ : Algebraic specification in action /
    Հրապարակվել է 2000
    “…Advances in formal methods…”
    Գիրք
    Պահել ցուցակում
    Պահպանված է:
Որոնման գործիքներ: Ստացեք RSS հոսք – Էլփոստով ուղարկեք այս փնտրումը – Պահպանել որոնումը