алексей миронов

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

Практический онлайн курс от создателей сети из более 150 кофеен Coffee Moose и Jeffrey's Coffee - "Своя кофейня за 30 дней без франшизы" Привет! Нас зовут Роман и Алексей, и уже более 9 лет мы занимаемся бизнесом в ресторанной сфере. Начав когда-то с небольшой кофейни в городе Ижевске, мы...