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.

Datos bibliográficos de Open Library (Internet Archive). Tabla Cutter-Sanborn de tres cifras.

IIntroduction to Practical Formal Methods Using Temporal Logi

Número de Cutter-SanbornF535iEntrada «Fisher, M.» → 535 · marca de obra “i”

Introduction to Practical Formal Methods Using Temporal Logic

Materias

Introduction to Practical Formal Methods Using Temporal Logic (2012)
Wiley & Sons, Incorporated, John · inglés · ISBN 9781283405348
Introduction to Practical Formal Methods Using Temporal Logic (2011)
Wiley & Sons, Incorporated, John · inglés · ISBN 9781119991489