DictionnaireLe forumContacts

   Anglais Russe +
Google | Forvo | +

formal methods toolsuite

contraintes
logic. интегрированный инструмент формальной верификации (русс. термин "интегрированный инструмент" для перевода взят из кн.: Шефер К., Хо К., Харроп Р. Spring 4 для профессионалов Alex_Odeychuk)