IP: 66.249.76.82
.
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
In compagnia di un'amica sincera : alla scoperta della matematicaIn compagnia di un'amica sincera : alla scoperta della matematica
Federigo Enriques e la civetta di AtenaFederigo Enriques e la civetta di Atena
ArchimedeArchimede
Introduzione alla statistica computazionale con RIntroduzione alla statistica computazionale con R
Competenze matematiche in una dimensione europea : il progetto Numero ergo sumCompetenze matematiche in una dimensione europea : il progetto Numero ergo sum
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