Safe and Secure Software Updated for SPARK (Russian Translation)

Джон Барнс При участии Бэн Брасгол.

Безопасное и надежное программное обеспечение Ada 2012

Адаптировано для SPARK 2014

Last Updated: 10/7/2017
Posted on: 12/14/2015