En este sentido, este libro va en la buena dirección, a contracorriente de esa tendencia lamentable de muchas universidades españolas. En particular, este excelente libro suministra el 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.
Detective Ritual 06
Super Calvin y Hobbes 01. en Todas Partes Hay Tesoros
Me Gusta Internet
Starborn 03. la Solucion Final (stan Lee"s Boom Comics)