000			00539nam a22001577a 4500
999			_c58737 _d58737
020			_a9783319640204 (pbk)
020			_a9783319640211 (ebook)
082			_a005.131 _bORE
100			_aGerard O' Regan
245			_aConcise guide to formal methods _btheory, fundamentals and industry applications
260			_aSwitzerland _bSpringer nature _c2017
300			_axxvi. 322 p. _b: ill. col. _c; 23 cm.
500			_aIncludes index.
650			_aCopmputer science _vSoftware engineering _vcomputer security _vModelling language _vFC
942			_cBK