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
Automated Technology for Verification and Analysis

Tapa de Automated Technology for Verification and Analysis

Número de Cutter-SanbornP381aEntrada «Pel» → 381 · marca de obra “a”

Automated Technology for Verification and Analysis

de Doron A. Peled

Materias

Logic design
Computer networks
Computer science
Software engineering
Information storage and retrieval systems
Automatic theorem proving
Congresses

Ediciones (2)

Automated Technology for Verification and Analysis (2005)
Springer London, Limited · inglés · ISBN 9783540319696
Automated Technology for Verification and Analysis (2005)

Automated Technology for Verification and Analysis — Doron A. Peled | Cutter Number

Springer · inglés · ISBN 9783540292098

Más obras de Doron A. Peled

Tapa de Computer aided verification

Computer aided verification

Tapa de Time For Verification Essays In Memory Of Amir Pnueli

Time For Verification Essays In Memory Of Amir Pnueli

Tapa de Model checking

Model checking

Tapa de Software Reliability Methods

Software Reliability Methods

TTime for Verification

Time for Verification

FFormal Techniques for Networked and Distributed Systems - FO

Formal Techniques for Networked and Distributed Systems - FORTE 2002

Ver todas las obras de Doron A. Peled →