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
Integrated Formal Methods

Tapa de Integrated Formal Methods

Número de Cutter-SanbornA333iEntrada «Albert» → 333 · marca de obra “i”

Integrated Formal Methods

de Elvira Albert, Emil Sekerinski

Materias

System design
Computer science
Software engineering
Logic design
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Mathematical Logic and Formal Languages

Ediciones (2)

Integrated Formal Methods (2014)

Integrated Formal Methods — Elvira Albert, Emil Sekerinski | Cutter Number

Springer · ISBN 9783319101804

Integrated Formal Methods (2014)

Springer London, Limited · inglés · ISBN 9783319101811

Más obras de Elvira Albert

Tapa de Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation

Tapa de Formal Techniques for Distributed Objects, Components, and Systems

Formal Techniques for Distributed Objects, Components, and Systems

PProceedings of the ACM SIGPLAN 2013 Workshop on Partial Eval

Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation

Ver todas las obras de Elvira Albert →