000			01875nam a2200277 a 4500
001			vtls000054898
003			KUKTEM
005			20251117150453.0
008			110720t2011 enk f 001 0 eng d
020			_a9780857290175
020			_a0857290177
039		9	_a201202151123 _basmadi _y201107201027 _zsri
040			_aUMP
090			_aQA76.76.V47 R54 2011
245	0	0	_aRigorous software development : _ban introduction to program verification / _cJosâe Bacelar Almeida ... [et al.]
260			_aLondon : _bSpringer, _c2011
300			_axii, 263 p. : _bill. ; _c24 cm.
490	1		_aUndergraduate topics in computer science, _x1863-7310
504			_aIncludes bibliographical references and index
505	0		_a1. Introduction -- 2. An overview of formal methods tools and techniques -- 3. Propositional logic -- 4. First-order logic -- 5. Hoare logic -- 6. Generating verification conditions -- 7. Safety properties -- 8. Procedures and contracts -- 9. Specifying C programs -- 10. Verifying C programs
520			_aUndergraduate Topics in Computer Science (UTiCS) delivers high-quality instructional content for undergraduates studying in all areas of computing and information science. From core foundational and theoretical material to final-year topics and applications, UTiCS books take a fresh, concise, and modern approach and are ideal for self-study or for a one- or two-semester course. The texts are all authored by established experts in their fields, reviewed by an international advisory board, and contain numerous examples and problems. Many include fully worked solutions
650		0	_aComputer software _xDevelopment
650		0	_aComputer software _xVerification
830		0	_aUndergraduate topics in computer science, _x1863-7310
999			_aVIRTUA40 _c58992 _d58998
999			_aVTLSSORT0080*0200*0201*0400*0900*2450*2600*4900*3000*5040*5050*5200*6500*6501*8300*9991