Asosiy kontentga oʻtish
AkademIndex

Xizmatlar

Dissertatsiya

Hoare logic for GOLOG programs

Yongmei Liu
TSpacerepository2000uz
Ochiq kirishYashil
ABI

Annotatsiya

grantor: University of Toronto

Mavzular

Logic, programming, and type systemsLogic, Reasoning, and KnowledgeFormal Methods in Verification

Iqtiboslar va manbalar

0 ta iqtibos16 ta foydalanilgan manba