You are using an outdated browser. Please upgrade your browser to improve your experience.

{name}
{name}
{product_id}
{price} €
tk.
Amount excluding VAT:
0.00 €
VAT:
0.00 €
Total amount with tax:
0.00 €
Your discount:
0.00 €
help facebook
Books delivery throughout all Europe

Методы верификации программ

40.00 €
30.00 €

Description

В книге излагаются вопросы моделирования и верификации (т.е. доказательства правильности) различных классов программ. Основные концепции и основанные на них подходы к верификации иллюстрированы примерами верификации различных программ. Для закрепления усвоения изложенного материала в книге приведено большое количество задач.

Книга предназначена для студентов высших учебных заведений, обучающихся по специальностям «теоретические основы информатики», «искусственный интеллект» и «информационная безопасность».

0
Product ID
6827188
Author
Publisher
ISBN
978-5-93700-278-5
images_checked
1728748110
Code
6827188
Weight
518
Binding
мягкий переплёт
Availability
On Stock
Package size
XS