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
An introduction to formal program verification

Tapa de An introduction to formal program verification

Número de Cutter-SanbornM644iEntrada «Milf» → 644 · marca de obra “i”

An introduction to formal program verification

de Ali Mili · Publicada por primera vez en 1985

Materias

Verification
Computer programs
Computer programming

Ediciones (1)

An introduction to formal program verification (1985)
Van Nostrand Reinhold Co. · inglés

Más obras de Ali Mili

Tapa de Software Testing: Concepts and Operations (Quantitative Software Engineering Series)

Software Testing: Concepts and Operations (Quantitative Software Engineering Series)

SSoftware Testing

Software Testing

Tapa de Verification and Evaluation of Computer and Communication Systems

Verification and Evaluation of Computer and Communication Systems

An introduction to formal program verification — Ali Mili | Cutter Number

Tapa de Discrete Mathematics and Logic

Discrete Mathematics and Logic

Tapa de Software Engineering

Software Engineering

Tapa de An introduction to program fault tolerance

An introduction to program fault tolerance

1990

Ver todas las obras de Ali Mili →