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-SanbornD438iEntrada «Derr» → 438 · marca de obra “i”

Integrated Formal Methods

de John Derrick

Materias

Mathematical Logic and Formal Languages
Programming Techniques
Software engineering
Algorithm Analysis and Problem Complexity
Logic design
Logics and Meanings of Programs
Computer science
Programming Languages, Compilers, Interpreters
Computer software

Ediciones (1)

Integrated Formal Methods (2012)
Springer Berlin Heidelberg · inglés · ISBN 9783642307294

Más obras de John Derrick

AA handbook of new office technology

A handbook of new office technology

WWhat to buy for business

What to buy for business

Tapa de The word processing handbook

The word processing handbook

Integrated Formal Methods — John Derrick | Cutter Number

Tapa de The Office Equipment Adviser

The Office Equipment Adviser

Tapa de Refinement in Z and ObjectZ

Refinement in Z and ObjectZ

TThe word processing handbook

The word processing handbook

Ver todas las obras de John Derrick →