000			01872nam a22002657a 4500
003			CUTN
005			20180509124828.0
008			180509b xxu||||| |||| 00| 0 eng d
020			_a9781441949813
041			_aEnglish
082			_a006.33 _bKAU
100			_aKaufmann, Matt
245			_aComputer-aided reasoning : _bACL2 case studies _cMatt Kaufmann; Panagiotis Manolios; J Strother Moore
260			_aNew York: _bSpringer Science+Business Media _c2000.
300			_axi, 337 p. _c24 cm.
505			_tAn exercise in graph theory / J Strother Moore -- _tModular proof : the fundamental theorem of calculus / Matt Kaufmann -- _tMu-calculus model-checking / Panagiotis Manolios -- _tHigh-speed, analyzable simulators / David Greve, Matthew Wilding, and David Hardin -- _tVerification of a simple pipelined machine model / Jun Sawada -- _tThe DE language / Warren A. Hunt, Jr. -- _tUsing macros to mimic VHDL / Dominique Borrione, Philippe Georgelin, and Vanderlei Rodrigues -- _tSymbolic trajectory evaluation / Damir A. Jamsek -- _tRTL verification : a floating-point multiplier / David M. Russinoff and Arthur Flatau -- _tDesign verification of a safety-critical embedded verifier / Piergiorgio Bertoli and Paolo Traverso -- _tCompiler verification revisited / Wolfgang Goerigk -- _tIvy : a preprocessor and proof checker for first-order logic / William McCune and Olga Shumsky -- _tKnuth's generalization of McCarthy's 91 function / John Cowles -- Continuity and differentiability / Ruben Gamboa.
650			_aExpert systems (Computer science)
650			_aComputer-aided design.
650			_aSoftware engineering
650			_aComputer science
650			_aElectronic data processing
700			_aManolios, Panagiotis [Editor]
700			_aMoore, J Strother, [Editor]
942			_2ddc _cBOOKS
999			_c24826 _d24826