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
Program Proofs

Tapa de Program Proofs

Número de Cutter-SanbornL531pEntrada «Lein» → 531 · marca de obra “p”

Program Proofs

de K. Rustan M. Leino, Kaleb Leino

Ediciones (2)

Program Proofs (2023)
MIT Press · inglés · ISBN 9780262375429
Program Proofs (2023)
MIT Press · inglés · ISBN 9780262546232

Más obras de K. Rustan M. Leino

CComputer Aided Verification

Computer Aided Verification

VVerification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Ver todas las obras de K. Rustan M. Leino →

Program Proofs — K. Rustan M. Leino, Kaleb Leino | Cutter Number