 | Словари, Словарь Dictionary |
| Larch The Larch Project develops aids for formal specifications. Each Larch specification has two components: an interface containing predicates written in the LIL () designed for the target language and a 'trait' containing assertions about the s written in LSL, the common to all. ["The Larch Family of Specification Languages", J. Guttag et al, IEEE Trans Soft Eng 2(5):24-365 (Sep 1985)]. |
 на заглавную | О сайте • 10 самых • Словари • Обратная связь |  к началу страницы |
| © 2010 Admin User словарь словарь online online словарь цитаты chrome | XHTML | CSS | 1.8.11 |