skip to main content

Content language

Contact us: CRM@email.irandoc.ac.ir
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
PREFERRED TERM
refinement calculus
TYPE
  • http://www.irandoc.ac.ir/onto/irandoc-meta/Concept

BROADER CONCEPT
IN OTHER LANGUAGES
حسابان پالایشی

Persian

URI
http://www.irandoc.acir/onto/irandoc/INSP0014063
Download this concept: