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
Software Engineering and Formal Methods

Tapa de Software Engineering and Formal Methods

Número de Cutter-SanbornE38sEntrada «Elea» → 38 · marca de obra “s”

Software Engineering and Formal Methods

de George Eleftherakis

Materias

Mathematical Logic and Formal Languages
Software engineering
Computer networks
Logic design
Logics and Meanings of Programs
Computer science
Programming Languages, Compilers, Interpreters
Artificial intelligence
Artificial Intelligence (incl. Robotics)

Software Engineering and Formal Methods — George Eleftherakis | Cutter Number

Formal methods (Computer science)

Computer Communication Networks

Ediciones (3)

Software Engineering and Formal Methods (2012)
Springer Berlin Heidelberg · inglés · ISBN 9783642338267
Software Engineering and Formal Methods (2012)
Springer Berlin / Heidelberg · inglés · ISBN 9783642338250
Software Engineering and Formal Methods (2012)
Springer · ISBN 9783642338274

Más obras de George Eleftherakis

Tapa de Membrane Computing

Membrane Computing

Tapa de Wireless and Satellite Systems

Wireless and Satellite Systems

Ver todas las obras de George Eleftherakis →