Książka o SPARK

Polecam tę książkę wszystkim, którzy chcą się poznać narzędzie SPARK:

• John Barnes. High Integrity Software. The SPARK Approach to Safety and Security. Addison Wesley, 2003.

Tags: książka