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
Theorie der logischen Programmierung

Tapa de Theorie der logischen Programmierung

Número de Cutter-SanbornS355tEntrada «Schmit» → 355 · marca de obra “t”

Theorie der logischen Programmierung

de Peter H. Schmitt

Ediciones (1)

Theorie der logischen Programmierung (1992)
Springer Berlin Heidelberg · ISBN 9783540557029

Más obras de Peter H. Schmitt

Tapa de Automated deduction

Automated deduction

Tapa de Theorie der logischen Programmierung

Theorie der logischen Programmierung

DDeductive Software Verification - the KeY Book

Deductive Software Verification - the KeY Book

Theorie der logischen Programmierung — Peter H. Schmitt | Cutter Number

V

Verification of Object-Oriented Software. the KeY Approach

Verification of Object-Oriented Software. the KeY Approach

Ver todas las obras de Peter H. Schmitt →