Программа синтеза тестов конечно-автоматными методами "FSMTest-1.0": Электронный ресурс; программа для ЭВМ; Рег. номер: 2014661807, 13.11.14
| Autor corporatiu: | |
|---|---|
| Altres autors: | , , , , , , |
| Sumari: | Тип реализующей ЭВМ: IBM PC-совмест. ПК на базе процессора Intel Pentium IV. Язык программирования: C++, среда разработки Visual Studio 2008. Программа предназначена для синтеза проверяющих тестов для систем, поведение которых описано конечными автоматами, временными автоматами или композициями конечных автоматов. |
| Idioma: | rus |
| Publicat: |
|
| Matèries: | |
| Accés en línia: | http://www1.fips.ru/Archive/EVM/2014/2014.12.20/DOC/RUNW/000/002/014/661/807/document.pdf |
| Format: | Electrònic Llibre |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=641426 |
MARC
| LEADER | 00000nam0a2200000 4500 | ||
|---|---|---|---|
| 001 | 641426 | ||
| 005 | 20250716164109.0 | ||
| 029 | 0 | 0 | |a RU |b 2014661807 |f TPU |
| 035 | |a (RuTPU)RU\TPU\network\6343 | ||
| 035 | |a RU\TPU\prd\233967 | ||
| 090 | |a 641426 | ||
| 100 | |a 20150519a2014 k y0rusy50 ca | ||
| 101 | 0 | |a rus | |
| 102 | |a RU | ||
| 135 | |a drcn ---uucaa | ||
| 181 | 0 | |a i | |
| 182 | 0 | |a b | |
| 200 | 1 | |a Программа синтеза тестов конечно-автоматными методами "FSMTest-1.0" |e Электронный ресурс |e программа для ЭВМ |e Рег. номер: 2014661807, 13.11.14 |f М. Л. Громов [и др.] |g Национальный исследовательский Томский политехнический университет (ТПУ), Институт электронного обучения (ИнЭО), Кафедра технологий и педагогики электронного обучения (ТПЭО) | |
| 203 | |a Текст |c электронный | ||
| 300 | |a Тип реализующей ЭВМ: IBM PC-совмест. ПК на базе процессора Intel Pentium IV. | ||
| 300 | |a Язык программирования: C++, среда разработки Visual Studio 2008. | ||
| 330 | |a Программа предназначена для синтеза проверяющих тестов для систем, поведение которых описано конечными автоматами, временными автоматами или композициями конечных автоматов. | ||
| 337 | |a Виды и версия операционной системы: Windows ХР/7. | ||
| 610 | 1 | |a труды учёных ТПУ | |
| 610 | 1 | |a синтез | |
| 610 | 1 | |a тесты | |
| 610 | 1 | |a конечно-автоматные методы | |
| 610 | 1 | |a программы для ЭВМ | |
| 610 | 1 | |a электронный ресурс | |
| 701 | 1 | |a Громов |b М. Л. | |
| 701 | 1 | |a Дорофеева |b М. Ю. |c специалист в области информатики и вычислительной техники |c программист Томского политехнического университета, кандидат технических наук |c директор центра организации и мониторинга образовательной деятельности |f 1979- |g Маргарита Юрьевна |3 (RuTPU)RU\TPU\pers\31100 | |
| 701 | 1 | |a Евтушенко |b Н. В. | |
| 701 | 1 | |a Жигулин |b М. В. | |
| 701 | 1 | |a Кушик |b Н. Г. | |
| 701 | 1 | |a Шабалдин |b А. В. | |
| 701 | 1 | |a Шабалдина |b Н. В. | |
| 712 | 0 | 2 | |a Национальный исследовательский Томский политехнический университет (ТПУ) |b Институт электронного обучения (ИнЭО) |b Кафедра технологий и педагогики электронного обучения (ТПЭО) |3 (RuTPU)RU\TPU\col\20233 |
| 801 | 1 | |a RU |b 63413507 |c 20130531 | |
| 801 | 2 | |a RU |b 63413507 |c 20220628 |g RCR | |
| 850 | |a 63413507 | ||
| 856 | 4 | 0 | |u http://www1.fips.ru/Archive/EVM/2014/2014.12.20/DOC/RUNW/000/002/014/661/807/document.pdf |
| 942 | |c CF | ||