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-SanbornB588cEntrada «Bien» → 588 · marca de obra “c”

Computer Aided Verification

de Armin Biere, Roderick Bloem

Materias

Computer software, verification
Computer science
Computer network architectures
Software engineering
Logic design
Logics and Meanings of Programs
Software Engineering/Programming and Operating Systems
Mathematical Logic and Formal Languages

Computer Aided Verification — Armin Biere, Roderick Bloem | Cutter Number

Computer Systems Organization and Communication Networks

Ediciones (2)

Computer Aided Verification (2014)
Springer London, Limited · inglés · ISBN 9783319088679
Computer Aided Verification (2014)
Springer · ISBN 9783319088662

Más obras de Armin Biere

Tapa de Theory and applications of satisfiability testing -- SAT 2006

Theory and applications of satisfiability testing -- SAT 2006

Tapa de Digitaltechnik - eine praxisnahe Einfu hrung

Digitaltechnik - eine praxisnahe Einfu hrung

Tapa de Handbook of Satisfiability

Frontiers in Artificial Intelligence and Applications

Handbook of Satisfiability Frontiers in Artificial Intelligence and Applications

Tapa de Hardware and Software: Verification and Testing

Hardware and Software: Verification and Testing

Tapa de Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

EEffiziente Modellprüfung des [mu]-Kalküls mit binären Entsch

Effiziente Modellprüfung des [mu]-Kalküls mit binären Entscheidungsdiagrammen

Ver todas las obras de Armin Biere →