Вы здесь

Главная

неформальный

Связанные издания:

A Formal Approach to the Error Localization
Building Bridges: HCI, Visualization, and Non-formal Modeling: Revised Selected Papers/ IFIP WG 13.7 Workshops: 7th HCIV@ECCE 2011, Rostock, Germany, August 2011, and 8th HCIV@INTERACT 2011, Lisbon, Portugal, September 2011
Engineering Trustworthy Software Systems: Tutorial Lecture/1st International School, SETSS 2014, Chongqing, China, September 2014
Informal Specification of the PROSPECTRA System
Naive Computational Type Theory
Software Process Training: A Formal and Informal Approach at McDonnell Douglas Electronic Systems Company
Методы автоматического построения и обога ения неформальных онтологий