Software specification : a comparison of formal methods / by John D. Gannon, James M. Purtilo, Marvin V. Zelkowitz.
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
- 1567500331
- QA76.758 G36 1994
Item type | Current library | Call number | Copy number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|
![]() |
Biblioteca de la Facultad de Ingeniería Eléctrica General | QA76.758 G36 1994 (Browse shelf(Opens below)) | C:1 | Available | BIE000001544 |
Bibliografía : p. 237-242
Incluye índice
There are no comments on this title.
Log in to your account to post a comment.