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
FM 2006

Tapa de FM 2006

Número de Cutter-SanbornM678fEntrada «Mis» → 678 · marca de obra “f”

FM 2006

de Jayadev Misra, Tobias Nipkow, Emil Sekerinski

Materias

Development
Congresses
System design
Mathematics
Formal methods (Computer science)
Computer software
Application software, development

Ediciones (1)

FM 2006: Formal Methods (2006)

FM 2006 — Jayadev Misra, Tobias Nipkow, Emil Sekerinski | Cutter Number

Springer · inglés · ISBN 9783540372158

Más obras de Jayadev Misra

Tapa de A Discipline of Multiprogramming

A Discipline of Multiprogramming

FFM 2006 : Formal Methods

FM 2006 : Formal Methods

TTheories of Programming

Theories of Programming

EEffective Theories in Programming Practice

Effective Theories in Programming Practice

Chanda Jha

Tapa de A Discipline of Multiprogramming

A Discipline of Multiprogramming

Ver todas las obras de Jayadev Misra →