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

Logic in Computer Science 2ed

73.99 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
73.99 EUR
28-08-2024 19:39:18

Ähnliche Produkte

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

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

63.94 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"

53.49 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)

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

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

122.40 EUR
Logic Programming: Operational Semantics and Proof Theory

Logic Programming: Operational Semantics and Proof Theory

51.20 EUR
Information Flow: The Logic of Distributed Systems

Information Flow: The Logic of Distributed Systems

72.90 EUR