skip to main content

زبان محتوا

پشتیبانی: CRM@email.irandoc.ac.ir

Concept information

Computation theory > Formal logic > Process algebra > Refinement calculus
Logic > Formal logic > Process algebra > Refinement calculus
Mathematics > Formal logic > Process algebra > Refinement calculus
Mathematics > Algebra > Process algebra > Refinement calculus
Mathematics > Mathematical analysis > Calculus > Refinement calculus

اصطلاح مرجح

Refinement calculus  

نوع

  • http://www.irandoc.ac.ir/onto/irandoc-meta/Concept

مفهوم اعم

در زبان های دیگر

URI

http://www.irandoc.acir/onto/irandoc/insp0014063

این مفهوم را بارگیری کن: