Previous Entry Share Next Entry
2016-01

формальные методы

уважаемые жж-юзеры, а никто здесь случайно не шарит PlusCal и TLA+ ?

хочу кое-чего проспецифицировать и проверить на живость

This entry was originally posted at http://wizzard.dreamwidth.org/446410.html. It has comment count unavailable comments. Please comment there using OpenID.

  • 1
juan_gandhi September 18th, 2015
Хм, я изучал немножко, я про TLA+; но преподавать его буду в следующем семестре... Sorry.

  • 1
?

Log in

No account? Create an account