Прикладные методы верификации программ
| Autor principal: | |
|---|---|
| Otros Autores: | , |
| Lenguaje: | ruso |
| Publicado: |
Москва, Радио и связь, 1988
|
| Materias: | |
| Formato: | Libro |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=60341 |