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
€49.58
▲4.55%
May 12, 2022
€39.33
▲0.27%
Dec 28, 2021
€37.62
▼-0.27%
Dec 21, 2021
€37.51
Oct 25, 2021
€37.62