000			01229 a2200169 4500
005			20250619121928.0
020			_a9781402042225
082			_a005.13 _bHOS-M
100			_aHossam A. Gabbar (Editor)
245			_aModern Formal Methods and Applications
260			_aNetherland _bSpronger _c2006
300			_axxiii; 197p.
500			_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.
504			_aIncluded References, and Index.
650			_aSoftware Engineering, Formal languages (Computer science)--- Computer logic Automata (Computer science) --- Model checking Systems analysis (Engineering)
942			_cBK
999			_c35058 _d35058