IP: 66.249.64.83
.
Erweiterte Suche
Kollektion nach: Verlag Titel

Corrección de algoritmos complejos : verificación formal - López Coello,  Manuel - Cádiz : Universidad de Cádiz, 2018.Monographien
InhaltsverzeichnisInhaltsverzeichnis
Katalog
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
Beschreibung
  • 390 p.
Materien
  • MathematikDDC: 510
  • MathematicsLCC: QA
Ampliación de fundamentos de matemática aplicadaAmpliación de fundamentos de matemática aplicada
Desarrollos en serie de los productos de algunas funciones especialesDesarrollos en serie de los productos de algunas funciones especiales
La construcción de los logaritmos : historia y proyecto didácticoLa construcción de los logaritmos : historia y proyecto didáctico
La forma delle cose : idee e metodi in matematica tra storia e filosofia : II : il calcolo da Leibniz e Newton a Eulero e Lagrange e un po' oltreLa forma delle cose : idee e metodi in matematica tra storia e filosofia : II : il calcolo da Leibniz e Newton a Eulero e Lagrange e un po' oltre
Actividades de matemáticas : tercero de ESOActividades de matemáticas : tercero de ESO
Universidad de Cádiz - Servicio de Publicaciones
Gesamtwerk
Corrección de algoritmos complejos : verificación formal
Casalini on LinkedIn Casalini on Twitter Casalini on Facebook
Copyright 2000-2017 Casalini libri
USt-Id Nr. IT03106600483