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

Programming Techniques
Information Systems
Software engineering
Logic design
Logics and Meanings of Programs
Computer science
Management of Computing and Information Systems
Programming Languages, Compilers, Interpreters

Ediciones (1)

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

Formal Verification of Object-Oriented Software (2012)

Springer Berlin Heidelberg · inglés · ISBN 9783642317620

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

Tapa de Formal Methods for Components and Objects

Formal Methods for Components and Objects

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 →