Математические и криптографические библиотеки - ACL2

0
Ваша оценка: Нет

ACL2 - язык программирования, на котором Вы можете смоделировать компьютерные системы, и инструмент, чтобы помочь Вам доказать свойства этих моделей.

Сайт разработчика: http://www.cs.utexas.edu/users/moore/acl2/


Разместил: vikos 24 Июль 2012 в 18:50