что почитать в качестве более-менее мягкого введения новичка в формальные методы без привязки к ЯП? математический background у меня есть.
Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.
Похожие темы
- Форум Формальные методы (2011)
- Форум Как вам больше нравится раннер? (2017)
- Форум Формальная верификация (2013)
- Форум Формальные грамматики. (2008)
- Форум нубы (2008)
- Форум Проблема с установкой Kali Linux (2022)
- Форум Кто использует ru(phonetic)? (2009)
- Форум Почему компьютеры не проверяют корректность доказательств математических теорем? (2013)
- Форум visual basic - like ЯП (2015)
- Форум Как узнать код цвета ячейки в QTableView? (2017)