THELIB
Regras da Categoria Regras Entrar
  • Livros
  • Tag: verification

Livros — verification

RU
Métodos de metacomputação e suas aplicações

Métodos de metacomputação e suas aplicações

A

С. М. Абрамов

Algoritmos e teoria
RU
Fundamentos de Teste e Verificação de Software

Fundamentos de Teste e Verificação de Software

B

С. М. Старолетов

Desenvolvimento de Software
RU
Modelagem de Processos Paralelos. Redes de Petri

Modelagem de Processos Paralelos. Redes de Petri

A

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

Algoritmos e teoria
EN
PROJETO DE ALGORITMOS COM HASKELL

PROJETO DE ALGORITMOS COM HASKELL

A

Richard Bird, Jeremy Gibbons

Linguagens de programação
THELIB

Biblioteca de livros de TI com tradução para 8 idiomas.

Catálogo

  • Livros
  • Categorias
  • Regras
  • Acordo

Conta

  • Registrar
  • Entrar
  • Suporte

Informações

  • thelib.cc
  • v0.1
© 2026 THELIB 8 idiomas · Tradução por IA em tempo real