Современные методы и инструменты формальных спецификаций и дедуктивной верификации императивных программ. Учебное пособие | Яхонтов Сергей Викторович
Товар не доставляется в ваш город
Краткие характеристики
- Автор на обложке
- С. В. Яхонтов
- Год выпуска
- 2014
- Тип обложки
- Мягкая обложка
по Математике Шестой Класс
Алгебра 8 Класс Макарычев
Учебник Геометрии 7-9 Атанасян
Фгос 5 Класс Математика
Атлас по Географии 8 Класс
Spotlight 6 Класс Учебник
Рабочая Spotlight 5 Класс
Решебник Геометрия Атанасян
Мир 4 Класс Плешаков
по Алгебре 8 Класс Мерзляк
Английский 3 Класс Сборник
Все Домашние Работы 6 Класс
Грамотность 3 Класс
Spotlight 6 Рабочая
Впр 4 Класс 2023
Решу Огэ 2022 Русский Язык
Дацюк Степенин Химия Егэ
Мерзляк Геометрия 8 Класс
1 Часть Канакина Горецкий
6 Класс Боголюбов
Афанасьева 4 Класс Рабочая
Spotlight. Английский в фокусе
Огэ Химия 2023
10 Класс Боголюбов
Английский в Фокусе 7
Физика 9 Перышкин Гутник
Химия 10 Класс Габриелян
Алгебра 7 Класс Теляковский
История 7 Класс Юдовская
Обществознание 7 Класс Учебник Боголюбов
Оге Математика2023
Домашние Работы 3 Класс
Огэ Английский 2023
Обществознание 8 Класс Учебник Боголюбов
Spotlight 3 Класс Рабочая
- Артикул
- 30457582
- Автор на обложке
- С. В. Яхонтов
- Год выпуска
- 2014
- Тип обложки
- Мягкая обложка
- Тип книги
- Печатная книга
- Язык издания
- Русский
- Количество страниц
- 146
- ISBN
- 978-5-288-05544-7