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
A computer system for checking proofs

Tapa de A computer system for checking proofs

Número de Cutter-SanbornJ69cEntrada «Johnson, S.» → 69 · marca de obra “c”

A computer system for checking proofs

de Scott D. Johnson

Materias

Computer programs
PL/CV (Computer program language)
Verification

Ediciones (1)

A computer system for checking proofs (1982)
UMI Research Press · inglés

Más obras de Scott D. Johnson

Tapa de Scottish Engineering Contracts

Scottish Engineering Contracts

Ver todas las obras de Scott D. Johnson →

A computer system for checking proofs — Scott D. Johnson | Cutter Number