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
Integrated Formal Methods

IIntegrated Formal Methods

Número de Cutter-SanbornK86iEntrada «Kos» → 86 · marca de obra “i”

Integrated Formal Methods

de Nikolai Kosmatov, Laura Kovács

Materias

Computer software, development

Ediciones (1)

Integrated Formal Methods (2024)
Springer · inglés · ISBN 9783031765537

Más obras de Nikolai Kosmatov

Tapa de Testing Software and Systems

Testing Software and Systems

Integrated Formal Methods — Nikolai Kosmatov, Laura Kovács | Cutter Number

T

Tests and Proofs

Tests and Proofs

GGuide to Software Verification with Frama-C

Guide to Software Verification with Frama-C

Ver todas las obras de Nikolai Kosmatov →