The Z standard provides an abstract specification of the conversion from LATEX mark-up to a sequence of Z characters. Some pseudo-code showing how that ...
確定! 回上一頁