IP: 54.36.148.234
.
Advanced search
Collection by: Publisher Title

Corrección de algoritmos complejos : verificación formal - López Coello,  Manuel - Cádiz : Universidad de Cádiz, 2018.Monograph
Table of ContentsTable of Contents
Catalog
Universidad de Cádiz - Servicio de Publicaciones
López Coello, Manuel ; Silva Ramírez, Esther Lydia

Corrección de algoritmos complejos : verificación formal

Cádiz : Universidad de Cádiz, 2018.
ID: 4382736
Permalink: http://digital.casalini.it/9788498285642
ISBN: 9788498285642
Description
  • 390 p.
Topics
  • MathematicsDDC: 510
  • MathematicsLCC: QA
Gli errori nelle dimostrazioni matematiche : imparare la matematica e la logica dagli errori (degli altri)Gli errori nelle dimostrazioni matematiche : imparare la matematica e la logica dagli errori (degli altri)
103 curiosità matematiche : teoria dei numeri, delle cifre e delle relazioni nella matematica contemporanea103 curiosità matematiche : teoria dei numeri, delle cifre e delle relazioni nella matematica contemporanea
¿Quién es Alexander Grothendieck? : matemáticas, anarquía, espiritualidad, soledad : una biografía : parte 1 : anarquía¿Quién es Alexander Grothendieck? : matemáticas, anarquía, espiritualidad, soledad : una biografía : parte 1 : anarquía
Matemáticas aplicadas a las Ciencias Sociales II : ejercicios resueltos de las Pruebas de Acceso a la Universidad en Andalucía desde el año 2001 al 2008Matemáticas aplicadas a las Ciencias Sociales II : ejercicios resueltos de las Pruebas de Acceso a la Universidad en Andalucía desde el año 2001 al 2008
Variable compleja con Mathematica o MaximaVariable compleja con Mathematica o Maxima
Universidad de Cádiz - Servicio de Publicaciones
Complete work
Corrección de algoritmos complejos : verificación formal
Casalini on LinkedIn Casalini on Twitter Casalini on Facebook
Copyright 2000-2017 Casalini libri
VAT no. IT03106600483