Книги
Электронные книги
Подержанные книги
Подарочные товары
Игры
Дом и сад
Красота и стиль
Музыка и фильмы
Для офиса и школы
Техника
Бесплатная доставка!
Галерея
Model Checking
Автор
Edmund M. Clarke Jr. (Carnegie Mellon University)
,Orna Grumberg (Technion)
,Daniel Kroening (Oxford University)
,Doron Peled (Bar Ilan University)
,Helmut Veith (Technische Universitaet Darmstadt)
![[object Object] icon](/_next/image?url=%2F_next%2Fstatic%2Fimage%2Fpublic%2Ficons%2Fplus.3d8df17ea6f050d8921b0d3439f575d2.svg&w=32&q=75)
Детали
Наличие в магазинах
122,43 €