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...

Celý popis

Podrobná bibliografie

Hlavní autor:	Martí Oliet, Narciso (autor)
Další autoři:	Segura Diaz, Clara María (autor), Verdejo López, José Alberto (autor)
Médium:	Kniha
Jazyk:	španělština
Edice:	Serie (Prentice práctica)
Témata:	Algoritmos > Problemas, Ejercicios, etc. Algoritmos computacionales
On-line přístup:	Zobrazit v on-line katalogu
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!