Логіка Гоара: відмінності між версіями
| [неперевірена версія] | [неперевірена версія] |
Вилучено вміст Додано вміст
Hjvfy (обговорення | внесок) |
Hjvfy (обговорення | внесок) |
||
Рядок 130:
== Література ==
* Robert D. Tennent. ''[http://www.cs.queensu.ca/home/specsoft/ Specifying Software]'' (підручник що включає вступ до логіки
== Посилання ==
| |||