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
Verified Software: Theories, Tools, Experiments

Tapa de Verified Software: Theories, Tools, Experiments

Número de Cutter-SanbornJ83vEntrada «Jos» → 83 · marca de obra “v”

Verified Software: Theories, Tools, Experiments

de Rajeev Joshi

Materias

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

Verified Software: Theories, Tools, Experiments — Rajeev Joshi | Cutter Number

Ediciones (1)

Verified Software: Theories, Tools, Experiments (2012)
Springer Berlin Heidelberg · inglés · ISBN 9783642277054

Más obras de Rajeev Joshi

Tapa de Verified Software Theories Tools Experiments 4th International Conference Vstte 2012 Philadelphia Pa Usa January 2829 2012 Proceedings

Verified Software Theories Tools Experiments 4th International Conference Vstte 2012 Philadelphia Pa Usa January 2829 2012 Proceedings

Tapa de NASA Formal Methods

NASA Formal Methods

4 Angels

Ver todas las obras de Rajeev Joshi →