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 рәсми сайтында табыла.