000			00484nam a2200169Ia 4500
999			_c4742 _d4742
008			161214s9999 xx 000 0 und d
020			_a1402042221 _c(hbk)
082			_a004 _bGAB
100			_aGabbar, Hossam A.
245		0	_aModern formal methods and applications
260			_aNew York: _bSpringer, _c2006
300			_axvii, 196 p.; _bill.: _c24 cm.
365			_aINR _b5657.17
520			_aFormal methods are a robust approach for problem solving. It is based on logic and algebraic methods where problems can be formulated in a way that can help to find an appropriate solution. This book shows the basic concepts of formal methods and highlights modern modifications and enhancements to provide a more robust and efficient problem solving tool." "Applications are presented from different disciplines such as engineering where the operation of chemical plants is synthesized using formal methods. Computational biology becomes easier and systematic using formal methods. Also, hardware compilation and systems can be managed using formal methods." "This book will be helpful for both beginners and experts to get insights and experience on modern formal methods by viewing real applications from different domains.
650			_aFormal methods - Applications
650			_aChemistry
650			_aLogics and Meanings of Programs
650			_aAutomata theory
650			_aLanguage of communicating processes
942			_2ddc _cBK