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
Scalable Techniques for Formal Verification

Tapa de Scalable Techniques for Formal Verification

Número de Cutter-SanbornR264sEntrada «Ray, M.» → 264 · marca de obra “s”

Scalable Techniques for Formal Verification

Materias

Systems engineering
Engineering
Computer-aided design
Computer systems
Formal methods (Computer science)
Verification
Automatic theorem proving
System design
Electronic systems

Ediciones (4)

Scalable Techniques for Formal Verification — Sandip Ray | Cutter Number

Scalable Techniques for Formal Verification (2014)

Springer · ISBN 9781489984449

Scalable Techniques for Formal Verification (2010)

Springer · ISBN 9781441960061

Scalable Techniques for Formal Verification (2010)

Springer · inglés · ISBN 9781441959980

Scalable Techniques for Formal Verification (2010)

Springer · ISBN 9781441959973

Más obras de Sandip Ray

Tapa de Security Policy in System-on-Chip Designs

Security Policy in System-on-Chip Designs

Tapa de Internet of Things. A Confluence of Many Disciplines

Internet of Things. A Confluence of Many Disciplines

Tapa de Satyajit Ray on Cinema

Satyajit Ray on Cinema

Tapa de Fundamentals of IP and SoC Security

Fundamentals of IP and SoC Security

DDigital Twins for Distributed IoT Applications

Digital Twins for Distributed IoT Applications

Ver todas las obras de Sandip Ray →