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

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
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
Essential Logic for Computer Science (The ), Fachbücher von Ruben Gamboa, Rex Page

Essential Logic for Computer Science (The ), Fachbücher von Ruben Gamboa, Rex Page

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

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

64.19 EUR
Mathematical Logic for Computer Science

Mathematical Logic for Computer Science

59.30 EUR