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
Temporal Logic in Specification

Tapa de Temporal Logic in Specification

Número de Cutter-SanbornB276tEntrada «Barrin» → 276 · marca de obra “t”

Temporal Logic in Specification

de Howard Barringer, Amir Pnueli

Ediciones (1)

Temporal Logic in Specification (Lecture Notes in Computer Science) (2007)
Springer · inglés · ISBN 9783540518037

Más obras de Howard Barringer

Tapa de A survey of verification techniques for parallel programs

A survey of verification techniques for parallel programs

Tapa de Runtime Verification

Runtime Verification

Tapa de Advances in Temporal Logic

Advances in Temporal Logic

Ver todas las obras de Howard Barringer →

Temporal Logic in Specification — Howard Barringer, Amir Pnueli | Cutter Number