cutternumberG216c

Calculadora Explorar ¿Qué es el Cutter?

Buscar en el catálogo

Cargando…

cutternumber.com.ar

Número de Cutter-Sanborn y catálogo bibliográfico en español, con millones de obras, ediciones y autores.

Calculadora Cutter Guía de catalogación Explorar el catálogo

Datos bibliográficos de Open Library (Internet Archive). Tabla Cutter-Sanborn de tres cifras.

Inicio
Explorar
Certified Programs and Proofs

CCertified Programs and Proofs

Número de Cutter-SanbornJ86cEntrada «Jou» → 86 · marca de obra “c”

Certified Programs and Proofs

de Jean-Pierre Jouannaud, Zhong Shao

Ediciones (1)

Certified Programs and Proofs (2011)
Springer London, Limited · inglés · ISBN 9783642253799

Más obras de Jean-Pierre Jouannaud

Tapa de Algebra, meaning, and computation

Algebra, meaning, and computation

Tapa de Conditional term rewriting systems

Conditional term rewriting systems

Certified Programs and Proofs — Jean-Pierre Jouannaud, Zhong Shao | Cutter Number

FFunctional programming languages and computer architecture

Functional programming languages and computer architecture

Tapa de Conditional Term Rewriting Systems

Conditional Term Rewriting Systems

Tapa de Term rewriting

Term rewriting

1995

Tapa de Functional Programming Languages and Computer Architecture

Functional Programming Languages and Computer Architecture

Ver todas las obras de Jean-Pierre Jouannaud →