000			01633nam a2200289Ia 4500
001			UCACUE42009
007			ta
008			210503s2015||||xx |||||||||||||| ||spa||
020			_a978-84-205-6498-2
041			_aspa
082			_a372.7 (Matemáticas) -
100			_aÁlvarez, Javier _eautor
245		0	_aEspecificacion, verificacion y derivacion formal de programas
250			_a1a edicion
260			_a _bPearson, _c2015
300			_a245 p.: _bformulas, imagenes; _c195 x 250 cm
513			_b2015
520			_aEste libro suministra material para un curso de formación introductoria en técnicas básicas de especificación, transformación y verificación de programas, que están detrás de los métodos que se utilizan para la construcción de software fiable. Presentamos, e ilustramos con ejemplos y ejercicios, una colección de métodos formales básicos de especificación de programas y de tipos de datos, de verificación de programas imperativos y recursivos sencillos, de transformación de especificacióones (y/o programas) recursivos en programas iterativos y de derivación formal de programas, tanto iterativos como recursivos. Cada capítulo del libro contiene ejemplos completamente desarrollados en las secciones precedentes, incluendo una lista final de ejercicios de recopilación.
650			_aÁRBOL BINARIO _957090
650			_aCOMPOSICIÓN _914253
650			_aDERIVACIÓN _946728
700			_aArregi, Xavier _eautor _957092
700			_aGaintzarain, José _eautor _957093
700			_aLucio, Paqui _eautor _957094
700			_aMontse, Maritxalar _eautor _957089
942			_cBK
999			_c110847 _d110847