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
Provably correct systems

Tapa de Provably correct systems

Número de Cutter-SanbornH432pEntrada «He» → 432 · marca de obra “p”

Provably correct systems

de Jifeng He · Publicada por primera vez en 1994

Ediciones (1)

Provably correct systems (1994)
McGraw-Hill · inglés

Más obras de Jifeng He

Tapa de Formal methods and software engineering

Formal methods and software engineering

AAdvances in Computing Science - ASIAN 2000

Advances in Computing Science - ASIAN 2000

AAdvances in Blended Learning

Advances in Blended Learning

Provably correct systems — Jifeng He | Cutter Number

MMathematical Frameworks for Component Software

Mathematical Frameworks for Component Software

FFundamental Research for Trustworthy Software

Fundamental Research for Trustworthy Software

GGrundlagenforschung Für Vertrauenswürdige Software

Grundlagenforschung Für Vertrauenswürdige Software

Ver todas las obras de Jifeng He →