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
Tests and Proofs

TTests and Proofs

Número de Cutter-SanbornB641tEntrada «Blanche» → 641 · marca de obra “t”

Tests and Proofs

de Jasmin Christian Blanchette, Nikolai Kosmatov

Materias

Constraint programming (computer science)

Ediciones (2)

Tests and Proofs (2015)
Springer International Publishing AG · inglés · ISBN 9783319212142
Tests and Proofs (2015)
Springer London, Limited · inglés · ISBN 9783319212159

Más obras de Jasmin Christian Blanchette

Tapa de Interactive Theorem Proving

Interactive Theorem Proving

Ver todas las obras de Jasmin Christian Blanchette →

Tests and Proofs — Jasmin Christian Blanchette, Nikolai Kosmatov | Cutter Number