This is the first introduction to the SPARK 2014 language and the tools to verify programs for safety- and security-critical applications.
Price history
▲26.07%
Nov 12, 2022
€54.13
▲4.55%
May 12, 2022
€42.93
▲0.27%
Dec 28, 2021
€41.07
▼-0.27%
Dec 21, 2021
€40.96
Oct 25, 2021
€41.07