Eriksson L.-H., Lindsay P.A. — FME 2002: Formal Methods - Getting IT Right
Обсудите книгу на
Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: FME 2002: Formal Methods - Getting IT Right
Авторы: Eriksson L.-H., Lindsay P.A.
Аннотация:
Proceedings of the Intl Symposium of Formal Methods, held July 22-24, 2002 in Copenhagen, Denmark. All current aspects of formal methods are addressed, from foundational and methodological issues to advanced application in various fields. Softcover.
|
|
О проекте