IP: 46.229.168.144
.
Advanced search
Collection by: Publisher Title

Verificación formal de algoritmos : ejercicios resueltos - 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

Verificación formal de algoritmos : ejercicios resueltos

Cádiz : Universidad de Cádiz, 2018.
ID: 4382740
Permalink: http://digital.casalini.it/9788498285628
ISBN: 9788498285628
Description
  • 240 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
Verificación formal de algoritmos : ejercicios resueltos
Casalini on LinkedIn Casalini on Twitter Casalini on Facebook
Copyright 2000-2017 Casalini libri
VAT no. IT03106600483