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
Symbolic Execution and Quantitative Reasoning

SSymbolic Execution and Quantitative Reasoning

Número de Cutter-SanbornP277sEntrada «Pas» → 277 · marca de obra “s”

Symbolic Execution and Quantitative Reasoning

de Corina S. Păsăreanu

Ediciones (2)

Symbolic Execution and Quantitative Reasoning (2020)
Morgan & Claypool Publishers · inglés · ISBN 9781681738567
Symbolic Execution and Quantitative Reasoning (2020)
Morgan & Claypool Publishers · inglés · ISBN 9781681738543

Symbolic Execution and Quantitative Reasoning — Corina S. Păsăreanu | Cutter Number