ВебКаталог
Найти.in
Расширенный поиск


Книги на иностранных языках → На английском → Компьютеры и ИТ → Программное обеспечение → Создание программного обеспечения → Методология
Сортировать по: году, названию, автору (Я → А) Результаты 1 - 7 из примерно 7.
Cambridge Wizard Student Guide HamletCambridge Wizard Student Guide Hamlet
Автор: Kilian McNamara
Finite Elements Using Maple: A Symbolic Programming Approach (Engineering Online Library)Finite Elements Using Maple: A Symbolic Programming Approach (Engineering Online Library)
Автор: A. Portela, A. Charafi, Artur Portela
Год: 2000
Understanding Formal MethodsUnderstanding Formal Methods
Автор: J .F. Monin, Michael G. Hinchey
Год: 2001
Statistical Methods in Software Engineering: Reliability and Risk (Springer Series in Statistics)Statistical Methods in Software Engineering: Reliability and Risk (Springer Series in Statistics)
Автор: Nozer D. Singpurwalla, Simon Wilson, Simon P. Wilson
Год: 2004
Interactive Theorem Proving and Program DevelopmentInteractive Theorem Proving and Program Development
Автор: Yves Bertot
Год: 2004