Детальная информация
| Название | Предикатное программирование: учебное пособие: [для студентов факультета информационных технологий и механико-математического факультета НГУ] |
|---|---|
| Авторы | Шелехов Владимир Иванович |
| Организация | Новосибирский гос. университет. Фак. информационных технологий |
| Выходные сведения | Новосибирск: Редакционно-издательский центр НГУ, 2009 |
| Коллекция | Издания НГУ |
| Тематика | программирование предикатное (учебники) |
| УДК | 681.3.06 |
| ББК | В183.4я73-1 |
| Литература по отраслям знания | Математика ( В1 ) ; Программирование. Интернет. Пакеты прикладных программ (В18) |
| Тип документа | Учебник |
| Тип файла | |
| Язык | Русский |
| Права доступа | Свободный доступ из сети Интернет (чтение, цитирование) |
| Дополнительно | Все документы |
| Ключ записи | RU\NSU\books\123042 |
| Дата создания записи | 29.03.2010 |
| Группа | Анонимные пользователи |
|---|---|
| Сеть | Интернет |
Пособие включает содержание первого семестра курса "Предикатное программирование" и предназначено для изучения формальных методов корректности программ и построения эффективных программ в парадигме предикатного программирования.
| Место доступа | Группа пользователей | Действие |
|---|---|---|
| Интернет | Все |
|
Количество обращений: 11
За последние 30 дней: 11
