Dịch

Floyd-Hoare logic

danh từ (noun)

Nghĩa chính

  1. Đồng nghĩa với Hoare logicdanh từđếm được và không đếm được (countable, uncountable)Synonym of Hoare logic.

Dạng từ (word form)

theo quy tắc (regular)
  1. Floyd-Hoare logicDạng gốc (base form)
  2. Floyd-Hoare logicsSố nhiều (plural)

Đồng nghĩa (synonym)

Đồng nghĩa

AI