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
Principles of model checking

Tapa de Principles of model checking

Número de Cutter-SanbornB152pEntrada «Bai» → 152 · marca de obra “p”

Principles of model checking

de Christel Baier

Materias

Computer systems
Verification
Computer software
Systems software
Computer software, verification
Quality control & testing - programming

Principles of model checking — Christel Baier | Cutter Number

General & miscellaneous computing

Ediciones (5)

Principles of Model Checking (2008)
MIT Press · inglés · ISBN 9780262267564
Principles of Model Checking (2008)
The MIT Press · inglés · ISBN 9780262026499
Principles of Model Checking (2008)
MIT Press · inglés · ISBN 9780262304030
Principles of Model Checking (2008)
MIT Press · inglés · ISBN 9781435643277
Principles of Model Checking (2008)
MIT Press · inglés · ISBN 9780262333047

Más obras de Christel Baier

Tapa de Validation of stochastic systems

Validation of stochastic systems

Tapa de Formal Techniques for Distributed Objects, Components, and Systems

Formal Techniques for Distributed Objects, Components, and Systems

Tapa de Foundations of Software Science and Computation Structures

Foundations of Software Science and Computation Structures

Tapa de SOFSEM 2017 : Theory and Practice of Computer Science

SOFSEM 2017 : Theory and Practice of Computer Science

TTools and Algorithms for the Construction and Analysis of Sy

Tools and Algorithms for the Construction and Analysis of Systems

CCONCUR 2006 - Concurrency Theory

CONCUR 2006 - Concurrency Theory

Ver todas las obras de Christel Baier →