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 B
Bernhard Beckert

Número de Cutter-SanbornB396Entrada de tabla «Becker, P.»

Bernhard Beckert

· 11 obras en el catálogo

Obras

Tapa de Formal Verification of Object-Oriented Software

Formal Verification of Object-Oriented Software

Tapa de Formal Verification Of Objectoriented Software International Conference Revised Selected Papers

Formal Verification Of Objectoriented Software International Conference Revised Selected Papers

Tapa de Verification of object-oriented software

Verification of object-oriented software

Tapa de Formal Methods for Components and Objects

Formal Methods for Components and Objects

Tapa de Formal Verification of Object-Oriented Software

Formal Verification of Object-Oriented Software

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

Tapa de Logic of Software. a Tasting Menu of Formal Methods

Logic of Software. a Tasting Menu of Formal Methods

Tapa de Automated Reasoning with Analytic Tableaux and Related Methods

Automated Reasoning with Analytic Tableaux and Related Methods

Bernhard Beckert — obras y número de Cutter | Cutter Number