000			00579nam a2200145Ia 4500
008			191030s9999 xx 000 0 und d
020			_a9783319708485
100			_aSimone Cavalheiro, Jos� Fiadeiro
245		0	_aFormal Methods: Foundations and Applications
260			_bSpringer _c2017
440			_aLecture Notes in Computer Science
653			_aSoftware Engineering; Theory of Computation; Simulation and Modeling; The Computing Profession; System Performance and Evaluation
856			_uhttp://link.springer.com/openurl?genre=book&isbn=978-3-319-70847-8
942			_cEB
999			_c44171 _d44171