Search
Library
More
▼
Bookshelves
Redeem code
7 days for free
Log in
en
ru
Free
👍
Worth reading
1
Егор Толстой
,
Стас Цыганов
,
Евгений Кателла, Екатерина Петрова
Podlodka #268 – Формальные методы и верификация программ
Listen in app
Impression
Add to shelf
Already listened
Share
Facebook
Twitter
Copy link
About
Impressions
1
Listeners
3
In This Series
Дмитрий Лукьянов
shared an impression
2 years ago
👍
Worth reading
fb2
epub
Drag & drop your files (not more than 5 at once)