000			00650nam a22002057a 4500
005			20230612120804.0
008			230612b |||||||| |||| 00| 0 eng d
020			_a9781139629294
041			_aeng
082			_a9781139629294
100			_aMcCormick, John W. and Chapin, Peter C.
245			_aBuilding High Integrity Applications with SPARK
260			_aCambridge : _bCambridge University Press, _c©2015.
300			_axiv, 367 p.
650			_aComputer Science
650			_aSoftware Engineering and Development
650			_aProgramming Languages and Applied Logic
856			_uhttps://doi.org/10.1017/CBO9781139629294
942			_cEBK
999			_c4758 _d4758