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

Tapa de Advances in Temporal Logic

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

Advances in Temporal Logic

de Howard Barringer

Materias

Logic, symbolic and mathematical
Logic
Philosophy
Philosophy (General)
Data structures (Computer science)
Electronic data processing
Symbolic and mathematical Logic
Computing Methodologies
Cryptology and Information Theory Data Structures

Advances in Temporal Logic — Howard Barringer | Cutter Number

Mathematical Logic and Foundations

Ediciones (2)

Advances in Temporal Logic (2013)
Springer · inglés · ISBN 9789401595865
Advances in Temporal Logic (2010)
Springer · ISBN 9789048153893

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

Temporal Logic in Specification

Ver todas las obras de Howard Barringer →