000 01338nam a22003977a 4500
001 15215443
003 AR_CdUFM
005 20160908124547.0
008 080311s2010 gw | 00| 0 eng
020 _a9783642093449
040 _aDLC
_cDLC
_dAR_CdUFM
100 1 _99341
_aKroening, Daniel.
245 1 0 _aDecision procedures :
_ban algorithmic point of view /
_cDaniel Kroening, Ofer Strichman ; foreword by Randal E. Bryant.
260 _aBerlin :
_bSpringer,
_c2010.
300 _axvi, 304 p. :
_bil. ;
_c24 cm.
490 0 _aTexts in theoretical computer science
490 0 _aEATCS series
650 4 _aLógica matemática.
650 4 _aLenguajes formales.
650 4 _aAsistencia de diseños.
650 4 _aVerificación de programas.
650 4 _aEstructura de datos.
650 4 _aMathematical logic.
650 4 _aFormal languages.
650 4 _aDesign aids.
650 4 _aProgram verification.
650 4 _aSpecifying and verifying.
650 4 _aReasoning about programs.
650 4 _aTesting and debugging.
650 4 _aData structures.
700 1 _916707
_aStrichman, Ofer.
942 _cLIBRO
_2
945 _aMCR
_d2011-08-24
999 _c16151
_d16150