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 approaches to software testing

Tapa de Formal approaches to software testing

Número de Cutter-SanbornW427fEntrada «Weise» → 427 · marca de obra “f”

Formal approaches to software testing

de Carsten Weise

Materias

Formal methods (Computer science)
Testing
Congresses
Computer software
Informatique
Programming Languages
Essais
COMPUTERS
General
Methodes formelles (Informatique)
Model Checking

Formal approaches to software testing — Carsten Weise | Cutter Number

Ediciones (2)

Formal Approaches to Software Testing (2006)
Springer London, Limited · inglés · ISBN 9783540344551
Formal Approaches to Software Testing (2006)
Springer · inglés · ISBN 9783540344544

Más obras de Carsten Weise

EEntscheidungsalgorithmen für Äquivalenzen in Echtzeit-Prozes

Entscheidungsalgorithmen für Äquivalenzen in Echtzeit-Prozesskalkülen mit dichtem Zeitbereich

Ver todas las obras de Carsten Weise →