vdm-sl

0зной

1ответ

VDM-SL обозначения для одного, конечного подмножества

Не уверен, если это находится в пределах области SO, но: Использование VDM-SL, я искал вокруг для «лучшего» способа описания одного, конечное подмножество ℕ. В моих путешествиях я нашел несколько спос

0зной

1ответ

Есть ли какие-либо учебники для VDM-SL Toolbox

Я пытаюсь работать с VDM-SL Toolbox, но не могу найти учебники. Если у кого-то есть какие-то уроки, поделитесь им. Спасибо