PBDoom
PBDoom — PocketBook электрон кәгазьле җайланмалар өчен Doom уеның порты. Йөкләүләр PBDoom рәсми сайтында табыла.
Сәлам! Минем исемем Ильгиз.
Мин программ инженериясе фән тармакта аспирант булып Constructor Institute of Technology‑да (Шаффһаузен, Швейцария) укыйм.
Мин программа верификацияне тикшерәм. Эйфель программалаштыру теле өчен AutoProof һәм башка формаль методлар кулланый торган кораллар өстендә эшлим.
Яңа блог язмалар
-
-
EiffelStudio Assertions Setting
EiffelStudio allows to control which assertions will be evaluated. We build a cheatshseet listing which contracts are checked for each setting.
-
Heroku Postgres БН бушлай куллану өчен оптимальләштерү
Реляцион бирелмәләр нигезне (БН) Heroku Postgres бушлай дәрәҗәдә куллану өчен SIBrowser кушымтасы мисалында оптимальләштерү.
Яңа проектлар
-
PBDoom
PBDoom — PocketBook электрон кәгазьле җайланмалар өчен Doom уеның порты. Йөкләүләр PBDoom рәсми сайтында табыла.