Код товара: 5188172563
Рассрочка и кредит
Купон на скидку
Verifying multicore software. A case study
Тип книги:
Печать по требованию
О товаре
Перейти к описанию
Автор на обложке
Ashok Kelur
Год выпуска
2026
Тип бумаги в книге
Офсетная
Тип обложки
Мягкая обложка
Тип книги
Печать по требованию
О книге
Печатная книга «Verifying multicore software. A case study» в мягкой обложке, язык - английский. В книге 68 страниц, она напечатана на белой офсетной бумаге плотностью 80 г/м². Формат издания — 152x22
7 754 ₸ 12 392 ₸
Магазин
Подписаться
Т8
Перейти
4.9
Чат
Заказы
52 K
О магазине
Часто задаваемые вопросы
Описание
Verifying multicore software. A case studyПечатная книга «Verifying multicore software. A case study» в мягкой обложке, язык - английский. В книге 68 страниц, она напечатана на белой офсетной бумаге плотностью 80 г/м². Формат издания — 152x229 мм. Все книги аккуратно упаковываем в прочный трёхслойный непрозрачный картонный конверт.
Computers have been key subsystems in various complex systems. As computers are adapted into various fields, hardware and software are increasing in size and complexity. It is evident that parallel computing is the way to solve large scale complex information technology problems. Engineers designing hardware and software are required to verify the system for correctness. As system's size and complexity increases, it is difficult to perform manual system verification. Model checking converts a hardware or software solution into temporal logic and uses solvers to assert on properties of solution. A Bounded Model Checker can verify properties of program/logic within bounded limits. CBMC is a Bounded Model Checker for ANSI-C and C++ programs.
Computers have been key subsystems in various complex systems. As computers are adapted into various fields, hardware and software are increasing in size and complexity. It is evident that parallel computing is the way to solve large scale complex information technology problems. Engineers designing hardware and software are required to verify the system for correctness. As system's size and complexity increases, it is difficult to perform manual system verification. Model checking converts a hardware or software solution into temporal logic and uses solvers to assert on properties of solution. A Bounded Model Checker can verify properties of program/logic within bounded limits. CBMC is a Bounded Model Checker for ANSI-C and C++ programs.
- Артикул
- 5188172563
- Автор на обложке
- Ashok Kelur
- Год выпуска
- 2026
- Тип бумаги в книге
- Офсетная
- Тип обложки
- Мягкая обложка
- Тип книги
- Печать по требованию
- Язык издания
- Английский
- Количество страниц
- 68
- Размеры, мм
- 152x229
- Вес товара, г
- 123
- ISBN
- 9783659373404
- Возрастные ограничения
- 12+
Подборки товаров в категории Книги: Компьютерные технологии
Отзывы о товаре
0
Verifying multicore software. A case study
Рейтинга пока нет. Он формируется на основе актуальных отзывов на заказанные и оплаченные товары
Как правильно задавать вопросы?
Будьте вежливы и спрашивайте о товаре, на карточке которого вы находитесь
Если вы обнаружили ошибку в описанием товара, воспользуйтесь функцией
Как отвечать на вопросы?
Отвечать на вопросы могут клиенты, купившие товар, и официальные представители.
Выбрать «Лучший ответ» может только автор вопроса, если именно этот ответ ему помог.