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

पूर्ण विवरण

ग्रंथसूची विवरण

मुख्य लेखक:	Martí Oliet, Narciso (autor)
अन्य लेखक:	Segura Diaz, Clara María (autor), Verdejo López, José Alberto (autor)
स्वरूप:	पुस्तक
भाषा:	स्पेनिश
श्रृंखला:	Serie (Prentice práctica)
विषय:	Algoritmos > Problemas, Ejercicios, etc. Algoritmos computacionales
ऑनलाइन पहुंच:	ओपेक में देखें
टैग:	टैग जोड़ें कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!