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 R
Reiner Hähnle

Número de Cutter-SanbornH148Entrada de tabla «Hah»

Reiner Hähnle

· 8 obras en el catálogo

Obras

Tapa de Leveraging Applications of Formal Methods, Verification, and Validation

Leveraging Applications of Formal Methods, Verification, and Validation

Tapa de Machine Learning for Dynamic Software Analysis : Potentials and Limits

Machine Learning for Dynamic Software Analysis : Potentials and Limits

Tapa de Fundamental Approaches to Software Engineering

Fundamental Approaches to Software Engineering

AAutomated Reasoning

Automated Reasoning

TTests and Proofs

Tests and Proofs

DDeductive Software Verification - the KeY Book

Deductive Software Verification - the KeY Book

DDeductive Software Verification : Future Perspectives

Deductive Software Verification : Future Perspectives

VVerification of Object-Oriented Software. the KeY Approach

Verification of Object-Oriented Software. the KeY Approach

Reiner Hähnle — obras y número de Cutter | Cutter Number