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
€51.22
▲4.55%
May 12, 2022
€40.63
▲0.27%
Dec 28, 2021
€38.87
▼-0.27%
Dec 21, 2021
€38.76
Oct 25, 2021
€38.87