Niezawodne programowanie

książka

Niezawodne programowanie::SPARK

Książka o SPARK 2014

14/09/15 23:21

9781107656840

Właśnie ukazała się książka o SPARK 2014: AdaCore blog

Tags: książka

Książka o SPARK

23/06/13 19:09

Old_Book_clip_art_small

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