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
Computer Aided Verification

Tapa de Computer Aided Verification

Número de Cutter-SanbornM234cEntrada «Majo» → 234 · marca de obra “c”

Computer Aided Verification

de Rupak Majumdar, Viktor Kunčak

Materias

Computer software, verification

Ediciones (2)

Computer Aided Verification (2017)
Springer · ISBN 9783319633893
Computer Aided Verification (2017)
Springer · ISBN 9783319633862

Más obras de Rupak Majumdar

Tapa de Runtime Verification

Runtime Verification

Computer Aided Verification — Rupak Majumdar, Viktor Kunčak | Cutter Number

TTools and Algorithms for the Construction and Analysis of Sy

Tools and Algorithms for the Construction and Analysis of Systems

HHybrid Systems : Computation and Control

Hybrid Systems : Computation and Control

MModel Checking Software

Model Checking Software

NNetworked Systems

Networked Systems

POPL '16

Ver todas las obras de Rupak Majumdar →