Name: Logic and Computation
Brand: Cambridge University Press
SKU: ID12425060
Availability: InStock

Logic and Computation

73.00 EUR

Ein kompakter Leitfaden, der die Theorie interaktiver Beweise mit dem Cambridge LCF-System in klarer Sprache darstellt und praxisnahe Beispiele auf 320 Seiten aus dem Jahr 2020 bietet.

Marke: Cambridge University Press

ISBN: 9780521395601

Angebote
Merkmale

Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

Gesponsert Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science, Band 2)

Medimops DE

73.00 EUR 73.00 EUR

15-06-2026 11:14:43

Access to the deal

Logic and Computation

Gesponsert Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science, Band 2)

Ähnliche Produkte

Beste Preise und Angebote

Sparen Sie bei jedem Einkauf

Genaue Information

Die Macht der Wahl

Logic and Computation

Gesponsert Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science, Band 2)

Ähnliche Produkte

Logic, Language, Information, and Computation

Computation Theory and Logic (Lecture notes in computer science, vol.270)

Lectures on Logic and Computation

The Dynamics of Judicial Proof: Computation, Logic, and Common Sense (Studies in Fuzziness and Soft Computing, 94, Band 94)