Код товара: 5188249948
Rigorous Software Development. An Introduction to Program Verification
Тип книги:
Печать по требованию
О товаре
Перейти к описанию
Автор на обложке
José Bacelar Almeida; Maria João Frade; Jorge Sousa Pinto
Год выпуска
2026
Тип бумаги в книге
Офсетная
Тип обложки
Мягкая обложка
Тип книги
Печать по требованию
О книге
Печатная книга «Rigorous Software Development. An Introduction to Program Verification» в мягкой обложке, язык - английский. В книге 276 страниц, она напечатана на белой офсетной бумаге плотностью 80
8 900,19 ֏ 13 936,80 ֏
2 041 ₽ 3 196 ₽
Магазин
Подписаться
Т8
Перейти
4.9
Чат
Заказы
48.8 K
О магазине
Часто задаваемые вопросы
Описание
Rigorous Software Development. An Introduction to Program VerificationПечатная книга «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
- Артикул
- 5188249948
- Автор на обложке
- José Bacelar Almeida; Maria João Frade; Jorge Sousa Pinto
- Год выпуска
- 2026
- Тип бумаги в книге
- Офсетная
- Тип обложки
- Мягкая обложка
- Тип книги
- Печать по требованию
- Язык издания
- Английский
- Количество страниц
- 276
- Размеры, мм
- 156x234
- Вес товара, г
- 464
- ISBN
- 9780857290175
- Возрастные ограничения
- 12+
Подборки товаров в категории Книги: Компьютерные технологии
Отзывы о товаре
0
Rigorous Software Development. An Introduction to Program Verification
Рейтинга пока нет. Он формируется на основе актуальных отзывов на заказанные и оплаченные товары
Как правильно задавать вопросы?
Будьте вежливы и спрашивайте о товаре, на карточке которого вы находитесь
Если вы обнаружили ошибку в описанием товара, воспользуйтесь функцией
Как отвечать на вопросы?
Отвечать на вопросы могут клиенты, купившие товар, и официальные представители.
Выбрать «Лучший ответ» может только автор вопроса, если именно этот ответ ему помог.