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
Automatic Verification Methods for Finite State Systems

Tapa de Automatic Verification Methods for Finite State Systems

Número de Cutter-SanbornS573aEntrada «Sies» → 573 · marca de obra “a”

Automatic Verification Methods for Finite State Systems

de Joseph Sifakis

Ediciones (1)

Automatic Verification Methods for Finite State Systems (1990)
Not Avail · inglés · ISBN 9783540521488

Más obras de Joseph Sifakis

Tapa de Embedded systems design

Embedded systems design

Tapa de Automatic verification methods for finite state systems

Automatic verification methods for finite state systems

Tapa de Rigorous System Design

Rigorous System Design

Automatic Verification Methods for Finite State Systems — Joseph Sifakis | Cutter Number

E

Embedded Software

Embedded Software

UUnderstanding and Changing the World

Understanding and Changing the World

Ver todas las obras de Joseph Sifakis →