США
RUS
/ENG
Помощь
Статус заказа
Обратная связь
Мой регион:
США
Изменить
--не выбрано--
Москва
Санкт-Петербург
Россия
Другая страна
Доставка:
Почта
Подсказка для почты
Авиапочта
Подсказка авиапочты
Оплата:
Банковская карта
Подсказка для банковской карты
Другие
Подсказка для других способов оплаты
везде
везде
бумажная книга
электронная книга
аудиокнига
книжный маркет
Расширенный поиск
Моя страница
Заказы
Сообщения
Друзья
Выход
Бесплатно
Распродажа 2024
Книги
Бумажные книги
Бизнес
Детская литература
Дом, семья, хобби, спорт
Книги на иностранных языках
Компьютеры и Интернет
Культура, искусство, публицистика, музыка
Наука, техника, медицина
Религия, оккультизм, эзотерика, астрология
Специальные издания
Справочники, энциклопедии, словари
Художественная литература
Электронные книги
Бизнес
Детская литература
Дом, семья, хобби, спорт
Компьютеры и Интернет
Культура, искусство, публицистика
Наука, техника, медицина
Религия, эзотерика, астрология, оккультизм
Справочники, энциклопедии, словари
Художественная литература
Аудиокниги
CD в аудио-формате
CD в формате MP3
Аудиофайлы
Игры
Детям
Маркет
Книжный маркет
Сертификаты
Подарочные сертификаты
Именной сертификат
Я-Автор
Книги оптом
Продаю
Книги за границу
Израиль
США и Канада
Австралия и Новая Зеландия
Европа
Новости
Справка
Поиск товара
Быстрый поиск
Русская клавиатура
Расширенный поиск
Поиск по каталогу
Список товаров
Рекомендации
Наличие товара
Стоимость доставки товара
Оплата
Общие сведения
Возможные способы оплаты
Скидки, DisCODE
Доставка
Общие сведения
Регионы доставки, стоимость
Упаковка
Отслеживание заказа
Ограничения на отправку
Персональный раздел
Общие сведения
Личные данные
Пароль
Почтовые адреса
Отслеживание заказов
Подписка на новости
Как продавать книги на books.ru
Телефония для продавцов
Сканирование книг
Корпоративным клиентам
Оптовые закупки
Размещение товаров на сайте
Заказ
Как положить товар в корзину
Работа с корзиной
Выбор и изменение параметров заказа
Заказ в 1 клик
Отмена сделанного заказа
Изменение сделанного заказа
Отслеживание заказа
Аукцион
Издание книг по системе Принт-он-Деманд
Условия обслуживания
Общие условия
Замена товара
Вопросы и ответы
Гарантии и безопасность
Использование банковских карт
Банковские переводы
Личная информация
Подписка на новости
Виды подписки
Состояние подписки
Подписка
Отказ от подписки
Партнерская программа
Партнерская программа
Удаление аккаунта Books.Ru
Удаление аккаунта Books.Ru
книги
Эмиль Тевено
Верификация моделей программ: Model Checking
Код товара: 3652289
Оставить отзыв
В избранное
Продать эту книгу
На книжную полку
Бумажная книга
Нет в продаже
Сообщить о появлении
Опечатки в Верификация моделей программ: Model Checking
Найденных опечаток пока нет
Добавить запись
Товар находится в категориях
Найденных опечаток пока нет
Добавить запись