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
Verification of object-oriented software

Tapa de Verification of object-oriented software

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

Verification of object-oriented software

de Bernhard Beckert

Materias

Java (Computer program language)
Object-oriented methods (Computer science)
Verification
Computer software
Logic design
Artificial intelligence
Computer science
Software engineering
Object-oriented programming (computer science)

Verification of object-oriented software — Bernhard Beckert | Cutter Number

Objektorientierte Programmierung

Softwarespezifikation

Programmverifikation

Ediciones (1)

Verification of Object-Oriented Software. The KeY Approach (2007)
Springer · inglés · ISBN 9783540689775

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 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

Ver todas las obras de Bernhard Beckert →