000			01073cam a22003375i 4500
999			_c68819 _d68816
003			PK-NaQUE
005			20250522085306.0
008			250522b ||||| |||| 00| 0 eng d
020			_a9783642410703
040			_cQUEST
082	0	4	_a004.2CLA
100			_aIyoda, Juliano
245	0	0	_aFormal Methods: foundations and applications
250			_a1st ed. 2013.
300			_a242p.
490	1		_aProgramming and Software Engineering ;
650		0	_aSoftware engineering.
650		0	_aProgramming languages (Electronic computers).
650		0	_aComputer programming.
650		0	_aComputer logic.
650		0	_aMathematical logic.
650		0	_aAlgorithms.
650	2	4	_aProgramming Languages, Compilers, Interpreters.
650	2	4	_aProgramming Techniques.
650	2	4	_aLogics and Meanings of Programs.
650	2	4	_aMathematical Logic and Formal Languages.
650	2	4	_aAlgorithm Analysis and Problem Complexity.
700	1		_ade Moura, Leonardo
856			_uhttp://10.10.170.122:8080/browse/book/27369 _yDownload eBook
942			_cBK _2ddc