THELIB
Kategorieregeln Regeln Anmelden
  • Bücher
  • Datenbanken
  • SQL
  • Logik für Programmierer
Logik für Programmierer
A

Logik für Programmierer

SQL
# formal logic# programming# testing# verification# TLA+# SMT# Prolog
Autor
Hillel Wayne
Verlag
Self-published
Jahr
2025
Sprache
Englisch
27
Dieses Buch bewerten

Zum Lesen des Buches, Anmelden / Registrieren

Vorschau des Fragments

Ähnliche Bücher

Prinzipien der objektorientierten Programmierung

Prinzipien der objektorientierten Programmierung

Nicht angegeben

Besserer Python-Code: Ein Leitfaden für angehende Experten

Besserer Python-Code: Ein Leitfaden für angehende Experten

David Mertz

Core JavaScript: Das umfassende Handbuch

Core JavaScript: Das umfassende Handbuch

Cay S. Horstmann

Programmieren lernen mit C: Ein einfaches Schritt-für-Schritt-Selbstlernbuch zum Erlernen von C

Programmieren lernen mit C: Ein einfaches Schritt-für-Schritt-Selbstlernbuch zum Erlernen von C

Sazzad M.S. Imran, Ph.D., Md Atiqur Rahman Ahad, Ph.D.

Wie man Python verwendet

Wie man Python verwendet

Ben Good

Programmieren lernen mit Haskell

Programmieren lernen mit Haskell

Will Kurt

MATHEMATIK FÜR DIE PROGRAMMIERUNG: Lerne die Mathematik, schreibe besseren Code

MATHEMATIK FÜR DIE PROGRAMMIERUNG: Lerne die Mathematik, schreibe besseren Code

Ronald T. Kneusel

Von Ruby zu Golang: Ein Leitfaden für Ruby-Programmierer zum Erlernen von Go

Von Ruby zu Golang: Ein Leitfaden für Ruby-Programmierer zum Erlernen von Go

Joel Bryan Juliano

Datenanalyse.mit.Python.meistern

Datenanalyse.mit.Python.meistern

Der Haskell-Weg zu Logik, Mathematik und Programmierung

Der Haskell-Weg zu Logik, Mathematik und Programmierung

Kees Doets, Jan van Eijck

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