Articoli correlati a Verificación formal de algoritmos : ejercicios resueltos:...
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Descrizione del libro:
Matemáticas.Matemáticas computacionales. Análisis numérico. Universitario / Superior.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
- EditoreServicio de Publicaciones de la Universidad de Cádiz
- Data di pubblicazione2010
- ISBN 10 8498282640
- ISBN 13 9788498282641
- RilegaturaCopertina flessibile
- Numero edizione1
- Numero di pagine240
Compra nuovo
Scopri di più su questo articolo
EUR 8,55
Spese di spedizione:
EUR 11,93
Da: Spagna a: U.S.A.
I migliori risultati di ricerca su AbeBooks
Immagini fornite dal venditore
Verificación formal de algoritmos. Ejercicios resueltos
Editore:
Servicio de Publicaciones de la Universidad de Cádiz
(2010)
ISBN 10: 8498282640
ISBN 13: 9788498282641
Nuovo
Brossura
Quantità: 1
Da:
Valutazione libreria
Descrizione libro Condizione: 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. Codice articolo 9307027
Compra nuovo
EUR 8,55
Convertire valuta
Foto dell'editore
VERIFICACION FORMAL DE ALGORITMOS EJERCICIOS
Editore:
UNIVERSIDAD DE CADIZ
(2010)
ISBN 10: 8498282640
ISBN 13: 9788498282641
Nuovo
Rústica
Quantità: 2
Da:
Valutazione libreria
Descrizione libro Rústica. Condizione: NUEVO. 242 pages/páginas. Codice articolo 9788498282641
Compra nuovo
EUR 8,64
Convertire valuta