Recomienda este artículo a tus amigos:
Software Specification: A Comparison of Formal Methods Marvin V. Zelkowitz
¿Tienes un perfil? Iniciar sesión
Recibe notificaciones sobre nuevos lanzamientos de Marvin V. Zelkowitz
Nuestros clientes opinan:
Añadir a tu lista de deseos de iMusic
Software Specification: A Comparison of Formal Methods
Marvin V. Zelkowitz
This volume provides a detailed comparison and study of the various methods for reasoning about software. The material offers a comprehensive understanding of which program structures are easier to manipulate by formal techniques.
288 pages, references, indexes
![Cover for Engholm, Ida (Royal Danish Academy, Denmark) · DesignWISE: At skabe uden at skade (Paperback Book) [2 New edition] (2026)](https://imusic.b-cdn.net/images/item/original/945/9781835953945.jpg?engholm-ida-royal-danish-academy-denmark-2026-designwise-at-skabe-uden-at-skade-paperback-book&class=scaled&v=1778117230)
