抽象定義. 以下是堆疊的VDM(Vienna Development Method(英語:Vienna Development Method)):. 函數簽章: init: -> Stack push: N x Stack -> Stack top: Stack ...
確定! 回上一頁