Verificaci�n formal de algoritmos. Ejercicios resueltos: 6 (Manuales. Ingenier�as y Arquitectura) - Tapa blanda

Silva Ram�rez, Esther Lydia; L�pez Coello, Manuel

9788498282641: Verificaci�n formal de algoritmos. Ejercicios resueltos: 6 (Manuales. Ingenier�as y Arquitectura)

Tapa blanda

ISBN 10: 8498282640 ISBN 13: 9788498282641

Editorial: Editorial UCA, 2010

Ver todas las copias de esta edici�n ISBN.

Matem�ticas.Matem�ticas computacionales. An�lisis num�rico. Universitario / Superior.

"Sinopsis" puede pertenecer a otra edici�n de este libro.

Rese�a del editor:

Con este libro se intenta cubrir una de las necesidades que los alumnos demandan a�o tras a�o en el aprendizaje de sus materias. Se trata, por tanto, de un texto con ejercicios resueltos, que complemente a los libros m�s te�ricos, entendiendo que �stos son fundamentales. Viene, pues, este libro a complementar al t�tulo Correcci�n de algoritmos complejos. Verificaci�n formal, publicado recientemente por los mismos autores.

Product Description:

Verificaci�n formal de algoritmos editado por Servicio de Publicaciones de la Universidad de C�diz

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

EditorialEditorial UCA
A�o de publicaci�n2010
ISBN 10 8498282640
ISBN 13 9788498282641
Encuadernaci�nTapa blanda
N�mero de edici�n1
N�mero de p�ginas240

Comprar nuevo

Ver este art�culo

EUR 8,55

Convertir moneda

Gastos de env�o: EUR 11,93
De Espa�a a Estados Unidos de America

Destinos, gastos y plazos de env�o

A�adir al carrito

Los mejores resultados en AbeBooks

Imagen del vendedor

Verificaci�n formal de algoritmos. Ejercicios resueltos

Silva Ram�rez, Esther Lydia;L�pez Coello, Manuel

Publicado por Servicio de Publicaciones de la Universidad de C�diz (2010)

ISBN 10: 8498282640 ISBN 13: 9788498282641

Nuevo Tapa blanda Cantidad disponible: 1

Librería:

AG Library
(Malaga, Espa�a)

Valoraci�n

Valoraci�n del vendedor:

Descripci�n Condici�n: New. Idioma/Language: Espa�ol. Con este libro se intenta cubrir una de las necesidades que los alumnos demandan a�o tras a�o en el aprendizaje de sus materias. Se trata, por tanto, de un texto con ejercicios resueltos, que complemente a los libros m�s te�ricos, entendiendo que �stos son fundamentales. Viene, pues, este libro a complementar al t�tulo Correcci�n de algoritmos complejos. Verificaci�n formal, publicado recientemente por los mismos autores. *** Nota: Los env�os a Espa�a peninsular, Baleares y Canarias se realizan a trav�s de mensajer�a urgente. No aceptamos pedidos con destino a Ceuta y Melilla. N� de ref. del art�culo: 9307027

M�s informaci�n sobre este vendedor | Contactar al vendedor

Comprar nuevo

EUR 8,55

Convertir moneda

A�adir al carrito

Gastos de env�o: EUR 11,93

De Espa�a a Estados Unidos de America

Destinos, gastos y plazos de env�o

Imagen de archivo