Описание
Rigorous Software Development. An Introduction to Program Verification
Артикул Маркета
5951540367
Внешний вид товаров и/или упаковки может быть изменён изготовителем и отличаться от изображенных на Яндекс Маркете.
Пэй
2 690 ₽
–47%
–200 ₽
С доставкой по клику
Заказ от 1500₽
Пэй
2 690 ₽
–47%
Доставка Маркета
26 сен, по клику 0 ₽
Москва
26 сен, пункт выдачи 0 ₽
Москва
Быстрый возврат
О возвратах
Т8 Издательские Технологии
Магазин
19Kзаказов
587подписчиков
6лет на Маркете
О товаре
Описание
Печатная книга «Rigorous Software Development. An Introduction to Program Verification» в мягкой обложке, язык - английский. В книге 276 страниц, она напечатана на белой офсетной бумаге плотностью 80 г/м². Формат издания — 156x234 мм. Все книги аккуратно упаковываем в прочный трёхслойный непрозрачный картонный конверт.
List of Figures.- 1. Introduction.- 2. An Overview of Formal Methods Tools and Techniques.- 3. Propositional Logic.- 4. First-Order Logic.- 5. Hoare Logic.- 6. Generating Verification Conditions.- 7. Safety Properties.- 8. Procedures and Contracts.- 9. Specifying C Programs.- 10. Verifying C Programs.- Bibliography.- Index
List of Figures.- 1. Introduction.- 2. An Overview of Formal Methods Tools and Techniques.- 3. Propositional Logic.- 4. First-Order Logic.- 5. Hoare Logic.- 6. Generating Verification Conditions.- 7. Safety Properties.- 8. Procedures and Contracts.- 9. Specifying C Programs.- 10. Verifying C Programs.- Bibliography.- Index
Характеристики
Артикул Маркета
5951540367
Внешний вид товаров и/или упаковки может быть изменён изготовителем и отличаться от изображенных на Яндекс Маркете.Возрастное ограничение 18+
Нет отзывов и оценок
Но можно задать вопрос, чтобы узнать о товаре больше
Рекомендуем
Войдите в аккаунтИ тогда откроется корзина, а цены на Маркете могут стать ниже
