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
Formal Methods and Software Development

Tapa de Formal Methods and Software Development

Número de Cutter-SanbornE33fEntrada «Eh» → 33 · marca de obra “f”

Formal Methods and Software Development

de Hartmut Ehrig

Materias

Logic design
Computer science
Software engineering
Development
Softwareentwicklung
Congresses
Computer software
Computer software, development

Ediciones (1)

Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, ... (CSE) (Lecture Notes in Computer Science) (1986)

Formal Methods and Software Development — Hartmut Ehrig | Cutter Number

Springer · inglés · ISBN 9783540151999

Más obras de Hartmut Ehrig

TAPSOFT '87

Tapa de Graph-grammars and their application to computer science

Graph-grammars and their application to computer science

Tapa de Advanced seminar on foundations of innovative software development I and colloquium on trees in algebra and programming (CAAP'87)

Advanced seminar on foundations of innovative software development I and colloquium on trees in algebra and programming (CAAP'87)

Tapa de Petri net technology for communication-based systems

Petri net technology for communication-based systems

Tapa de Fundamentals of algebraic graph transformation

Fundamentals of algebraic graph transformation

Tapa de Graph Transformations

Lecture Notes in Computer Science

Graph Transformations Lecture Notes in Computer Science

Ver todas las obras de Hartmut Ehrig →