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
Logics of specification languages

Tapa de Logics of specification languages

Número de Cutter-SanbornB626lEntrada «Bj» → 626 · marca de obra “l”

Logics of specification languages

de D. Bjørner, Martin C. Henson

Materias

Symbolic and mathematical Logic
Semantics
Programming languages (Electronic computers)
Logic design
Information theory
Computer science
Software engineering
Logic, symbolic and mathematical
Programming languages (electronic computers)

Logics of specification languages — D. Bjørner, Martin C. Henson | Cutter Number

Ediciones (3)

Logics of Specification Languages (2010)
Springer · ISBN 9783642093456
Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series) (2007)
Springer · inglés · ISBN 9783540741060
Logics of Specification Languages (2007)
Springer London, Limited · inglés · ISBN 9783540741077

Más obras de D. Bjørner

TThe Vienna development method

The Vienna development method

Tapa de Towards a formal description of Ada

Towards a formal description of Ada

Tapa de Formal methods and hybrid real-time systems

Formal methods and hybrid real-time systems

Tapa de The Vienna development method

The Vienna development method

Tapa de Perspectives of system informatics

Perspectives of system informatics

Tapa de Formal methods in programming and their applications

Formal methods in programming and their applications

Ver todas las obras de D. Bjørner →