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
Applied formal methods--FM-Trends 98

Tapa de Applied formal methods--FM-Trends 98

Número de Cutter-SanbornH983aEntrada «Hutter» → 983 · marca de obra “a”

Applied formal methods--FM-Trends 98

de Dieter Hutter, Gerhard Goos

Materias

Formal methods (Computer science)
Congresses
Computers, congresses

Ediciones (2)

Applied Formal Methods - FM-Trends 98 (2007)
Springer London, Limited · inglés · ISBN 9783540482574
Applied Formal Methods - FM-Trends 98 (1999)
Springer · inglés · ISBN 9783540664628

Más obras de Dieter Hutter

Tapa de Security in pervasive computing

Applied formal methods--FM-Trends 98 — Dieter Hutter, Gerhard Goos | Cutter Number

Security in pervasive computing

Tapa de Mechanizing mathematical reasoning

Mechanizing mathematical reasoning

Tapa de Mechanizing mathematical reasoning

Mechanizing mathematical reasoning

Tapa de Rippling

Rippling

MMustergesteuerte Strategien für das Beweisen von Gleichungen

Mustergesteuerte Strategien für das Beweisen von Gleichungen

RRippling Meta-Level Guidance for Mathematical Reasoning. Cam

Rippling Meta-Level Guidance for Mathematical Reasoning. Cambridge Tracts in Theoretical Computer Science, No. 56

Ver todas las obras de Dieter Hutter →