Livros — formal methods

RU
Modelos de Segurança de Sistemas de Computador: Manual de Estudo

Modelos de Segurança de Sistemas de Computador: Manual de Estudo

A

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

Algoritmos e teoria
RU
Modelagem de Processos Paralelos. Redes de Petri

Modelagem de Processos Paralelos. Redes de Petri

A

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

Algoritmos e teoria
RU
Fundamentos da Programação

Fundamentos da Programação

A

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

Algoritmos e teoria
EN
Lógica e Modelos de Linguagem para Ciência da Computação

Lógica e Modelos de Linguagem para Ciência da Computação

A

Dana Richards, Henry Hamburger

Algoritmos e teoria