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
Autores con A
Amir Pnueli

Número de Cutter-SanbornP738Entrada de tabla «Pluy»

Amir Pnueli

· 7 obras en el catálogo

Obras

Tapa de Hybrid systems

Hybrid systems

Tapa de Perspectives of Systems Informatics

Perspectives of Systems Informatics

Tapa de Verification of Sequential and Concurrent Programs

Verification of Sequential and Concurrent Programs

Tapa de Temporal Logic in Specification

Temporal Logic in Specification

HHybrid Systems : Computation and Control

Hybrid Systems : Computation and Control

CCompositionality : the Significant Difference

Compositionality : the Significant Difference

Tapa de The temporal logic of reactive and concurrent systems

The temporal logic of reactive and concurrent systems

Amir Pnueli — obras y número de Cutter | Cutter Number