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
Tests and Proofs

TTests and Proofs

Número de Cutter-SanbornB396tEntrada «Becker, P.» → 396 · marca de obra “t”

Tests and Proofs

de Bernhard Beckert, Reiner Hähnle

Ediciones (1)

Tests and Proofs (2008)
Springer London, Limited · inglés · ISBN 9783540791249

Más obras de Bernhard Beckert

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

Tests and Proofs — Bernhard Beckert, Reiner Hähnle | Cutter Number

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

DDeductive Software Verification - the KeY Book

Deductive Software Verification - the KeY Book

Ver todas las obras de Bernhard Beckert →