- Эзотерика
- Журналистские расследования. Публицистика
- Досуг. Развлечения
- История. Социология. Политика
- Кулинария. Ремесла
- Естественные и технические науки
- Культура. Искусство
- Экономика. Бизнес
- Биографии. Мемуары
- Психология
- Туризм. Путешествия. Путеводители
- Спорт
- Медицина
- Дизайн. Мода. Фотография
- Философия. Религия
- Педагогика. Воспитание
- Музыка
- Артбуки. Вселенные
Современные методы и инструменты формальных спецификаций и дедуктивной верификации императивных прог (Яхонтов Сергей Викторович); СПбГУ, 2014
679
Издатель: СПбГУ
ISBN: 978-5-288-05544-7
EAN: 9785288055447
Книги: Физика и математика
ID: 1968295
Добавлено: 14.12.2017
Описание
В основе данного учебного пособия лежит курс лекций прочитанный автором на математико-механическом факультете СПбГУ. В пособии рассматриваются методы формальных спецификаций, основанные на тройках Хора, и методы дедуктивной верификации императивных программ, а также построенный на основе данных методов язык программирования со встроенными формальными спецификациями Spec#. Подробно рассматриваются основные возможности языка Spec# и системы программирования Spec#, предназначенной для работы с ним. Учебное пособие предназначено студентам, магистрантам и аспирантам, обучающимся по направлению подготовки 010500 - Математическое обеспечение и администрирование информационных систем и специализирующимся в области теоретической и практической информатики.
Смотри также о книге.
СкидкаГИД инфо +
Сервис сравнения цен СкидкаГИД предлагает сравнить цены на товар «Книга: Современные методы и инструменты формальных спецификаций и дедуктивной верификации императивных прог (Яхонтов Сергей Викторович); СПбГУ, 2014»
По данным нашего сервиса товар предлагался к продаже в 3 магазинах. На сегодняшний день доступен в 2 магазинах: Буквоед, book24. По цене от 679 р. до 679 р., средняя цена составляет 679 р., а самая низкая цена в магазине Буквоед. В случае, если для вас на данный момент цена слишком высока, вы можете воспользоваться сервисом «Сообщить о снижении цены» - мы оповестим вас как только цена опустится до желаемого значения. Но будьте внимательны, используя сервис «История цены» можно спрогнозировать в какую сторону изменяется цена, возможно сейчас самое время для покупки.
Кроме сервиса сравнеция цен, наш сайт также позволяет экономить еще двумя способами: промокодный сервис (информация о промокодах, а также скидки и акции на товары), а также собственный кэшбэк сервис. Купить с кешбеком можно в следующих магазинах: Буквоед, book24. А информация о промокодах доступна рядом с ценой от магазина и постоянно обновляется.
О книге
| Параметр | Значение |
|---|---|
| ISBN | 978-5-288-05544-7 |
| Автор(ы) | Яхонтов Сергей Викторович |
| Возрастное ограничение | 16+ |
| Год издания | 2014 |
| Издатель | СПбГУ |
| Кол-во страниц | 146 |
| Количество страниц | 146 |
| Переплет | 200.00mm x 145.00mm x 8.00mm |
| Переплёт | мягкий |
| Раздел | Физические науки |
| Страниц | 146 |
| Тематика | Физика и математика |
| Тираж | 230 |
| Формат | 200.00mm x 145.00mm x 8.00mm |
Где купить (2)
Цена от 679 руб до 679 руб в 2 магазинах
Также рекомендуем ознакомиться с ценами на Яндекс.Маркет.
Похожие предложения вы можете найти в нашей подборке:
Книги: Научная литература - издательство "СПбГУ"
Книги: Научная литература с ценой 543-814 р.
| Магазин | Цена | Наличие |
|---|---|---|
| Буквоед 5/5 |
| обновлено 18.01.2025 |
| book24 5/5 |
| обновлено 18.01.2025 |
| Яндекс.Маркет 5/5 | Промокоды на скидку | |
| Avito 5/5 | Avito доставка позволит получить любой товар, не выходя из дома
| |
| Магазин | Последняя известная цена | Обновлено |
|---|---|---|
| ЛитРес | 279 |
Кэшбэк сервис СкидкаГИД
На сегодняшний день товар «Книга: Современные методы и инструменты формальных спецификаций и дедуктивной верификации императивных прог (Яхонтов Сергей Викторович); СПбГУ, 2014» можно купить с кешбеком в 2 магазинах: Буквоед, book24
Кэшбэк – это возврат части денег, потраченных Вами в интернет-магазинах. Всего на нашем сайте более 500 магазинов, с многими из которых Вы наверняка уже знакомы. У каждого магазина свои условия. Кто-то возвращает процент от покупки, а кто-то фиксированную сумму.
Заказывайте он-лайн и получайте часть денег обратно, подробнее..
Пункты выдачи СДЭК г. Химки
Вы можете получить свои товары в ближайшем пункте выдачи СДЭК
Цены в соседних городах
Книги: Научная литература - издательство "СПбГУ"
Категория 543 р. - 814 р.
Физика и математика - издательство "СПбГУ" »
