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: Foundations and Applications

Tapa de Formal Methods: Foundations and Applications

Número de Cutter-SanbornD256fEntrada «Davies, J.» → 256 · marca de obra “f”

Formal Methods: Foundations and Applications

Materias

Logic design
Information Systems
Computer science
Software engineering
Computer software, development
Management of Computing and Information Systems
Mathematical Logic and Formal Languages
Programming Techniques
Programming Languages, Compilers, Interpreters

Formal Methods: Foundations and Applications — Jim Davies | Cutter Number

Logics and Meanings of Programs

Ediciones (1)

Formal Methods: Foundations and Applications (2011)
Springer Berlin Heidelberg · inglés · ISBN 9783642198281

Más obras de Jim Davies

Tapa de Formal methods and software engineering

Formal methods and software engineering

Tapa de Riveted

Riveted

Tapa de Engineering Agile Big-Data Systems

Engineering Agile Big-Data Systems

Tapa de Imagination

Imagination

SSpecification and Proof in Real Time CSP

Specification and Proof in Real Time CSP

BBeing the Person Your Dog Thinks You Are

Being the Person Your Dog Thinks You Are

Ver todas las obras de Jim Davies →