Details
| Title | Предикатное программирование: учебное пособие: [для студентов факультета информационных технологий и механико-математического факультета НГУ] |
|---|---|
| Creators | Шелехов Владимир Иванович |
| Organization | Новосибирский гос. университет. Фак. информационных технологий |
| Imprint | Новосибирск: Редакционно-издательский центр НГУ, 2009 |
| Collection | Издания НГУ |
| Subjects | программирование предикатное (учебники) |
| UDC | 681.3.06 |
| LBC | В183.4я73-1 |
| Literature on branches of knowledge | Математика ( В1 ) ; Программирование. Интернет. Пакеты прикладных программ (В18) |
| Document type | Tutorial |
| Language | Russian |
| Rights | Свободный доступ из сети Интернет (чтение, цитирование) |
| Record key | RU\NSU\books\123042 |
| Record create date | 3/29/2010 |
| Group | Anonymous |
|---|---|
| Network | Internet |
Пособие включает содержание первого семестра курса "Предикатное программирование" и предназначено для изучения формальных методов корректности программ и построения эффективных программ в парадигме предикатного программирования.
| Network | User group | Action |
|---|---|---|
| Internet | All |
|
...
