THELIB
Règles de catégorie Règles Se connecter
  • Livres
  • Tag : program verification

Livres — program verification

RU
Logique et ordinateur : Modélisation du raisonnement et vérification de la correction des programmes

Logique et ordinateur : Modélisation du raisonnement et vérification de la correction des programmes

A

Н.А. Алешина, А.М. Анисов, П.И. Быстров, И.А. Герасимова, В.С. Меськов, Н.Н. Непейвода, В.А. Смирнов, В.Н. Стеблецова, В.И. Шалак

IA et ML
EN
Principes de la programmation informatique : Une approche mathématique

Principes de la programmation informatique : Une approche mathématique

A

Harlan D. Mills, Victor R. Basili, John D. Gannon, Richard D. Hamlet

Autre
THELIB

Bibliothèque de livres informatiques avec traduction en 8 langues.

Catalogue

  • Livres
  • Catégories
  • Règles
  • Accord

Compte

  • S'inscrire
  • Se connecter
  • Support

Infos

  • thelib.cc
  • v0.1
© 2026 THELIB 8 langues · Traduction IA à la volée