000			02860nam a22004935i 4500
001			978-1-4020-4223-2
003			DE-He213
005			20251006084506.0
007			cr nn 008mamaa
008			100301s2006 ne | s |||| 0|eng d
020			_a9781402042232
020			_a99781402042232
024	7		_a10.1007/1-4020-4223-X _2doi
082	0	4	_a541.2 _223
100	1		_aGabbar, Hossam A. _eeditor.
245	1	0	_aModern Formal Methods and Applications _h[electronic resource] / _cedited by Hossam A. Gabbar.
264		1	_aDordrecht : _bSpringer Netherlands, _c2006.
300			_aXXIII, 197 p. _bonline resource.
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
347			_atext file _bPDF _2rda
505	0		_aFundamentals of Formal Methods -- Formal Methods for Process Systems Engineering -- Formal Methods for Production Chain Management -- Formalizing Waste Management -- Formal Methods for Modeling Biological Regulatory Networks -- Formal Methods for Specifying and Analyzing Complex Software Systems -- An Algebraic Approach to Hardware Compilation -- Formal Methods for UML.
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		0	_aCHEMISTRY.
650		0	_aCHEMISTRY _xMATHEMATICS.
650		0	_aLOGIC DESIGN.
650		0	_aCOMPUTER SCIENCE.
650		0	_aENGINEERING MATHEMATICS.
650	1	4	_aCHEMISTRY.
650	2	4	_aMATH. APPLICATIONS IN CHEMISTRY.
650	2	4	_aLOGICS AND MEANINGS OF PROGRAMS.
650	2	4	_aMATHEMATICAL LOGIC AND FORMAL LANGUAGES.
650	2	4	_aMODELS AND PRINCIPLES.
650	2	4	_aCOMPUTATIONAL SCIENCE AND ENGINEERING.
650	2	4	_aAPPL.MATHEMATICS/COMPUTATIONAL METHODS OF ENGINEERING.
710	2		_aSpringerLink (Online service)
773	0		_tSpringer eBooks
776	0	8	_iPrinted edition: _z9781402042225
856	4	0	_uhttp://dx.doi.org/10.1007/1-4020-4223-X _zVer el texto completo en las instalaciones del CICY
912			_aZDB-2-CMS
942			_2ddc _cER
999			_c60779 _d60779