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 in software and systems modeling

Tapa de Formal methods in software and systems modeling

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

Formal methods in software and systems modeling

de Hartmut Ehrig

Materias

Computer systems
Formal methods (Computer science)
Design
Computer software
Design and construction
Logic, symbolic and mathematical
Software engineering
Computers

Ediciones (1)

Formal methods in software and systems modeling (2005)

Formal methods in software and systems modeling — Hartmut Ehrig | Cutter Number

Springer · inglés

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 →