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 P
Peter H. Schmitt

Número de Cutter-SanbornS355Entrada de tabla «Schmit»

Peter H. Schmitt

· 5 obras en el catálogo

Obras

Tapa de Automated deduction

Automated deduction

Tapa de Theorie der logischen Programmierung

Theorie der logischen Programmierung

Tapa de Theorie der logischen Programmierung

Theorie der logischen Programmierung

DDeductive Software Verification - the KeY Book

Deductive Software Verification - the KeY Book

VVerification of Object-Oriented Software. the KeY Approach

Verification of Object-Oriented Software. the KeY Approach

Peter H. Schmitt — obras y número de Cutter | Cutter Number