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
Model checking

Tapa de Model checking

Número de Cutter-SanbornJ89mEntrada «Joyc» → 89 · marca de obra “m”

Model checking

de Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled

Materias

Datenverarbeitungssystem
Computersystemen
Engenharia de software
Modellen
Verificação e validação de software

Model checking — Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled | Cutter Number

Computer systems

Operating systems (computers)

Ediciones (5)

Model Checking (2018)
MIT Press · inglés · ISBN 9780262349444
Model Checking (2018)
The MIT Press · ISBN 9780262038836
Model Checking (1999)
The MIT Press · inglés · ISBN 9780262032704
Model Checking (1999)
MIT Press · inglés · ISBN 9780585385587
Model Checking (1999)
MIT Press · inglés · ISBN 9780262270458