Участник:StasFomin/Bookmarks/Algorithms — различия между версиями

Материал из DISCOPAL
Перейти к: навигация, поиск
(Добавлена закладка The Science of Deep Specification)
(Добавлена закладка vasil-sd/engineering-sw-hw-model-checking-letures: Lectures in MIPT: intro to engineering software using model-checking.)
Строка 2: Строка 2:
 
=== 2020-10 ===
 
=== 2020-10 ===
  
 +
* 2020-10-13, 14:31:27: [https://github.com/vasil-sd/engineering-sw-hw-model-checking-letures vasil-sd/engineering-sw-hw-model-checking-letures: Lectures in MIPT: intro to engineering software using model-checking.]
 +
*: <html>Обзорный курс по model-checking/model-finding, читаемый осенью 2020 для студентов 2-го курса МФТИ.</html>
 +
<!-- NEXT BOOKMARK -->
 
* 2020-10-13, 14:10:16: [https://deepspec.org/main The Science of Deep Specification]
 
* 2020-10-13, 14:10:16: [https://deepspec.org/main The Science of Deep Specification]
 
* 2020-10-13, 14:06:36: [https://github.com/vasil-sd/engineering-sw-hw-model-checking-letures/blob/master/Lecture1.pdf engineering-sw-hw-model-checking-letures/Lecture1.pdf at master · vasil-sd/engineering-sw-hw-model-checking-letures]
 
* 2020-10-13, 14:06:36: [https://github.com/vasil-sd/engineering-sw-hw-model-checking-letures/blob/master/Lecture1.pdf engineering-sw-hw-model-checking-letures/Lecture1.pdf at master · vasil-sd/engineering-sw-hw-model-checking-letures]

Версия 11:31, 13 октября 2020

2020

2020-10

2020-09

2020-08

2020-07