000			00677nam a22001577a 4500
999			_c58768 _d58768
020			_a978303088027 (pbk)
020			_a9783030388003 (ebook)
082			_a005.1 _bFOR
100			_aMarkus Roggenbach (editor) _aAntonio Cerone (editor) _aBernd Holger Schlingloff (editor) _aGerardo Schneider (editor) _aSiraj Ahmed Shaikh (editor)
245			_aFormal methods for software engineering _bLanguage, methods, application domains
260			_aSwitzerland _bSpringer nature _c2022
300			_axxii, 524 p. _b: ill. _c; 23 cm.
500			_aIncludes indexes.
650			_aSoftware engineering _vFormal language _vApplication domains _vFormal methods _vFc _vSecurity protocols
942			_cBK