Safetys

Формальные методы в agile-разработке

Сочетание формальных и скорых методов при разработке программного обеспечения позволяет свести к минимуму сложности, связанные с внесением изменений в код.

«Базис» первым в России представил полностью импортонезависимую экосистему решений для виртуализации ИТ-инфраструктуры

Представлена первая в России импортонезависимая экосистема продуктов и технологий виртуализации с собственной кодовой базой