Especificación, derivación y análisis de algoritmos : ejercicios resueltos /

Aunque los temas relacionados con la especificación y verificación formal de programas no gozan de mucha popularidad, es importante su inclusión en los temarios, sobre todo haciendo más hincapié en la derivación de programas a partir de su especificación, de forma que se obtiene un algoritmo correc...

Deskribapen osoa

Xehetasun bibliografikoak

Egile nagusia:	Martí Oliet, Narciso (autor)
Beste egile batzuk:	Segura Diaz, Clara María (autor), Verdejo López, José Alberto (autor)
Formatua:	Liburua
Hizkuntza:	gaztelania
Saila:	Serie (Prentice práctica)
Gaiak:	Algoritmos > Problemas, Ejercicios, etc. Algoritmos computacionales
Sarrera elektronikoa:	Ikusi katalogoan
Etiketak:	Etiketa erantsi Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!