Верификация программного обеспечения: учебное пособие
| Hlavní autor: | |
|---|---|
| Další autoři: | |
| Shrnutí: | Курс знакомит слушателей с современными технологиями верификации программного обеспечения, применяемыми при промышленной разработке сложных и отказоустойчивых программных систем. Курс рассчитан на читателей, заинтересованных в изучении основных подходов и путей решения проблем, которые связаны с современными технологиями верификации программного обеспечения. |
| Jazyk: | ruština |
| Vydáno: |
Москва, БИНОМ. Лаборатория знаний, 2008
|
| Edice: | Основы информационных технологий |
| Témata: | |
| Médium: | Kniha |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=151489 |
| Fyzický popis: | 368 с. ил. |
|---|---|
| Shrnutí: | Курс знакомит слушателей с современными технологиями верификации программного обеспечения, применяемыми при промышленной разработке сложных и отказоустойчивых программных систем. Курс рассчитан на читателей, заинтересованных в изучении основных подходов и путей решения проблем, которые связаны с современными технологиями верификации программного обеспечения. |
| ISBN: | 9785947748253 |