THELIB
Kategorieregeln Regeln Anmelden
  • Bücher
  • Tag: program verification

Bücher — program verification

RU
Logik und Computer: Modellierung des Schließens und Verifikation der Programmkorrektheit

Logik und Computer: Modellierung des Schließens und Verifikation der Programmkorrektheit

A

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

KI und ML
EN
Prinzipien der Computerprogrammierung: Ein mathematischer Ansatz

Prinzipien der Computerprogrammierung: Ein mathematischer Ansatz

A

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

Sonstiges
THELIB

IT-Bibliothek mit Übersetzung in 8 Sprachen.

Katalog

  • Bücher
  • Kategorien
  • Regeln
  • Vereinbarung

Konto

  • Registrieren
  • Anmelden
  • Support

Info

  • thelib.cc
  • v0.1
© 2026 THELIB 8 Sprachen · KI-Übersetzung in Echtzeit