Алиб.ру - Главная
|
Последние поступления
|
Форум
|
Продавцы книг
|
Как купить книгу
|
Как продать книги
|
Ищу книгу
|
Доставка
|
О сайте
|
|
|
Все книги в продаже (3208700) Загрузка книг проводится ежедневно в 9 и 23ч. |
Формальные методы и модели информатики. Серия `Системная информатика`. Выпуск 9. Новосибирск Изд-во СО РАН 2004г. 360с. Твердый переплет, Обычный формат.
(ISBN: 5-7692-0700-0 / 5769207000)
(До заказа внимательно прочтите условия продажи продавца BS - exchange_books, Новосибирск.) Цена: 330 руб. Купить
В 9-й выпуск `Формальные методы и модели информатики` серии `Системная информатика` вошли обзорные и фундаментальные работы отечественных и зарубежных авторов, посвященные различным аспектам информатики: машинам абстрактных состояний: разработке языка программирования, ориентированного на верификацию: расширению сетей Петри: алгоритмам генерации машинного кода: интервальным методам распространения ограничений. Книга представляет интерес для специалистов в области информатики, а также для студентов старших курсов и аспирантов.
Состояние: отличное
| ^ Наверх! |
Лучшие продавцы >>>
|
КАРТА сайта · Алиб.ру - Главная · Авторам и правообладателям · Указатель серий · Alib в Українi · Пластинки · Марки · Добавить в Избранное
Copyright © 1999 - 2026,
Ведущий и K°. Все права защищены.
Вопросы, предложения пишите в книгу
|
|
| | 0 c | |