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
Formal Verification of Object-Oriented Software

Tapa de Formal Verification of Object-Oriented Software

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

Formal Verification of Object-Oriented Software

de Bernhard Beckert

Materias

Logic design
Information Systems
Computer science
Software engineering
Computer software, verification
Object-oriented methods (computer science)
System design
Management of Computing and Information Systems
Mathematical Logic and Formal Languages

Formal Verification of Object-Oriented Software — Bernhard Beckert | Cutter Number

Programming Techniques

Programming Languages, Compilers, Interpreters

Logics and Meanings of Programs

Ediciones (1)

Formal Verification of Object-Oriented Software (2011)
Springer Berlin Heidelberg · inglés · ISBN 9783642180699

Más obras de Bernhard Beckert

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

Ver todas las obras de Bernhard Beckert →