Экотизим

Маҳсулотлар

AkademIndexИлмий қидирув ва кашфиёт
AkademScholarтез орадаМетрикалар ва илмий таҳлил
AkademIDтез орадаМуаллиф идентификатори ва профиллар

Ишлаб чиқувчилар учун

AkademBaseтез орадаЭкотизим учун очиқ API

Лойиҳа ҳақида Қамров Ёрдам

Лотин

Лотин

Диссертация

Hoare logic for GOLOG programs

TSpacerepository2000uz

ABI

Аннотация

grantor: University of Toronto

Мавзулар

Logic, programming, and type systems Logic, Reasoning, and Knowledge Formal Methods in Verification

Иқтибослар ва манбалар

0 та иқтибос16 та фойдаланилган манба

Кўрсаткичлар — AkademScholar · Тез орада