• Libros
  • Etiqueta: formal methods

Libros — formal methods

EN
Pruebas de software: conceptos y operaciones

Pruebas de software: conceptos y operaciones

A

Ali Mili, Fairouz Tchier

Desarrollo de software
EN
Guía de verificación de software con Frama-C: componentes principales, usos y aplicaciones

Guía de verificación de software con Frama-C: componentes principales, usos y aplicaciones

A

Nikolai Kosmatov, Virgile Prevosto, Julien Signoles (Editors)

Lenguajes de programación.
RU
Modelos de seguridad de sistemas informáticos: manual de estudio

Modelos de seguridad de sistemas informáticos: manual de estudio

A

Н. А. Богульская, М. М. Кучеров

Algoritmos y teoría
RU
Modelado de procesos paralelos. Redes de Petri

Modelado de procesos paralelos. Redes de Petri

A

Мараховский В. Б., Розенблюм Л. Я., Яковлев А. В.

Algoritmos y teoría
RU
Fundamentos de programación

Fundamentos de programación

A

Александр Степанов, Пол Мак-Джоунс

Algoritmos y teoría
EN
Lógica y Modelos de Lenguaje para Ciencias de la Computación

Lógica y Modelos de Lenguaje para Ciencias de la Computación

A

Dana Richards, Henry Hamburger

Algoritmos y teoría