Hoare logic for GOLOG programs
ABI
Annotatsiya
grantor: University of Toronto
Mavzular
Iqtiboslar va manbalar
0 ta iqtibos16 ta foydalanilgan manba
Koʻrsatkichlar — AkademScholar · Tez orada
Mahsulotlar
Ishlab chiquvchilar uchun
AkademBasetez oradaEkotizim uchun ochiq APIgrantor: University of Toronto