Logic in Computer Science | DealShopping Deutschland
  1. Home
  2. Medien
  3. Bücher
  4. Logic in Computer Science 2ed
  • #
  • #

Logic in Computer Science 2ed

81.49 EUR

Ein praxisnahes Werk, das formale Logik mit systemischer Modellierung verknüpft; es beleuchtet Beweistechniken, logische Sprachen und deren Einsatz in Softwarearchitektur sowie sicherheitskritischen Systemen.

Teilen:
Gesponsert

Logic in Computer Science 2ed

Hugendubel
81.49 EUR
29-10-2026 09:05:07

Ähnliche Produkte

Isabelle/HOL: A Proof Assistant for Higher-Order Logic

Isabelle/HOL: A Proof Assistant for Higher-Order Logic

60.37 EUR
Feasible Mathematics: A Mathematical Sciences Institute Workshop, Ithaca, New York, June 1989

Feasible Mathematics: "A Mathematical Sciences Institute Workshop, Ithaca, New York, June 1989"

48.98 EUR
Information Flow: The Logic of Distributed Systems

Information Flow: The Logic of Distributed Systems

76.50 EUR
Higher Order Logic and Hardware Verification (Cambridge Tracts in Theoretical Computer Science, Band 31)

Higher Order Logic and Hardware Verification (Cambridge Tracts in Theoretical Computer Science, Band 31)

54.00 EUR
Logic Programming: Operational Semantics and Proof Theory

Logic Programming: Operational Semantics and Proof Theory

53.70 EUR
Logic and Information (Cambridge Tracts in Theoretical Computer Science (Hardcover))

Logic and Information (Cambridge Tracts in Theoretical Computer Science (Hardcover))

125.21 EUR