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
Automated Deduction - CADE 28

AAutomated Deduction - CADE 28

Número de Cutter-SanbornP719aEntrada «Platt» → 719 · marca de obra “a”

Automated Deduction - CADE 28

de André Platzer, Geoff Sutcliffe

Ediciones (1)

Automated Deduction - CADE 28 (2021)
Springer International Publishing AG · inglés · ISBN 9783030798758

Más obras de André Platzer

Tapa de Correct System Design

Correct System Design

Tapa de Logical Analysis of Hybrid Systems

Logical Analysis of Hybrid Systems

Automated Deduction - CADE 28 — André Platzer, Geoff Sutcliffe | Cutter Number

Tapa de Logical Foundations of Cyber-Physical Systems

Logical Foundations of Cyber-Physical Systems

FFormal Methods

Formal Methods

Ver todas las obras de André Platzer →