Аксіоматична семантика: відмінності між версіями
[перевірена версія] | [перевірена версія] |
Вилучено вміст Додано вміст
MobyVan (обговорення | внесок) |
Виправлено джерел: 1; позначено як недійсні: 0. #IABot (v2.0beta14) |
||
Рядок 5:
== Посилання ==
*[https://web.archive.org/web/20110919012710/http://www.protsyk.com/sciref.pdf Петро Процик — «Методи та засоби специфікації програмних систем»]
{{Compu-prog-stub}}
|