000			01519amm a2200253 a 4500
001			13726
003			CoBo-ECI
005			20240508151502.0
008			150709b ck ||||| |||| 00| 0 spa d
082	0		_a003 _bL663p Ts DC
100	4	0	_aArteaga Held, Rodolfo _911256
245	0		_aProofNIX/ _cRodolfo Arteaga Held
260	4		_aBogotá: _bEscuela Colombiana de Ingeniería _c2009
300	4		_a1 disco compacto 4 3; 4 plg.
504	4		_aIncluye bibliografía
520	4		_aProofNix es un asistente de demostraciones matemáticas basadas en la lógica de Dijkstra. Su uso es principalmente académico y pretende ser una herramienta de ayuda para estudiantes y profesores que deseen realizar demostraciones matemática de una forma ordenada en un sistema amigable con el usuario.ProofNix también podrá ser una herramienta de uso industrial, proporcionando ayuda a desarrolladores de aplicaciones que requieren código correcto certificado _aes decir sin errores. Dentro de esta última categorÍa caen las aplicaciones militares, programas espaciales para la NASA, aplicaciones relacionadas con el uso de energÍa nuclear, entre otras
650			_aREINGENIERIA DE SOFTWARE _911257
650			_91283 _aESCUELA COLOMBIANA DE INGENIERÍA _zTESIS _vTESIS
650			_910867 _aLINUX (SISTEMA OPERACIONAL PARA COMPUTADOR) _xSISTEMA OPERACIONAL PARA COMPUTADOR
650			_9931 _aTESIS Y DISERTACIONES ACADÉMICAS
700			_aLópez Beltrán, Rodrigo, _edirector. _930355
942			_2ddc _cBK
999			_c16157 _d16157