Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.
  • Bild 1

Formale Methoden und fortgeschrittenes Haskell: Compilerbau, Satzbeweis, ...

24,31 €

Formal Methods and Advanced Haskell: Compiler Construction, Theorem Proving, DSLs, and Category Theory Deep Dive by Ltd, Axionics, ISBN 9798287071387, ISBN-13 9798287071387, Like New Used, Free shipping in the US

Jetzt bei Ebay:

Zum Angebot *
  • Book Title:
    Formal Methods and Advanced Haskell: Compiler Construction, Theor
  • Author:
    Ltd, Axionics
  • Language:
    English
  • ISBN:
    9798287071387
  • Standard Shipping:
    Standard International Shipping 18,16 EUR - Lieferung zwischen 14. July 2025 und 23. July 2025 (bei heutigem Zahlungseingang)
  • Versand nach:
    Weltweit
  • Versand ausgeschlossen:
    US-Protektorate , APO/FPO , Bahrain , Irak , Israel , Jordanien , Libanon , Oman , Saudi-Arabien , Türkei , ... und weitere

Ähnliche Artikel

Produktbild - Formal Methods and Advanced Haskell: Compiler Construction, Theorem Proving, ...

Formal Methods and Advanced Haskell: Compiler Construction, Theorem Proving, ...

24,31 €
Zum Angebot
Produktbild - Advanced Mathematical Computing: Cryptography, Number Theory, and Theorem Pro...

Advanced Mathematical Computing: Cryptography, Number Theory, and Theorem Pro...

24,31 €
Zum Angebot
Produktbild - Advanced Mathematical Computing: Cryptography, Number Theory, and Theorem Pro...

Advanced Mathematical Computing: Cryptography, Number Theory, and Theorem Pro...

24,31 €
Zum Angebot
Produktbild - Automated Theorem Proving: A Logical Basis Loveland, Donald W.:

Automated Theorem Proving: A Logical Basis Loveland, Donald W.:

22,00 €
Zum Angebot
Produktbild - Proving History Baye's Theorem and the Quest for the Historical Jesus R Carrier

Proving History Baye's Theorem and the Quest for the Historical Jesus R Carrier

22,66 €
Zum Angebot
Produktbild - Symbolic Logic and Mechanical Theorem Proving

Symbolic Logic and Mechanical Theorem Proving

27,24 €
Zum Angebot
Produktbild - Slosson, compiler. Pioneer American Gardening

Slosson, compiler. Pioneer American Gardening

15,44 €
Zum Angebot
Produktbild - Compiler Construction for Digital Computers David Gries Paperback preowned good

Compiler Construction for Digital Computers David Gries Paperback preowned good

7,25 €
Zum Angebot
Produktbild - Proving History: Bayes's Theorem and the Quest for the Historical Jesus

Proving History: Bayes's Theorem and the Quest for the Historical Jesus

28,92 €
Zum Angebot
Produktbild - Symbolic Logic and Mechanical Theorem Proving

Symbolic Logic and Mechanical Theorem Proving

34,34 €
Zum Angebot
Produktbild - Blencowe, S V (compiler) LIFE BEGINS AT FORTY : THE RESCUE AND RESURRECTION OF

Blencowe, S V (compiler) LIFE BEGINS AT FORTY : THE RESCUE AND RESURRECTION OF

9,92 €
Zum Angebot
Produktbild - Practical Compiler Construction

Practical Compiler Construction

53,08 €
Zum Angebot
Produktbild - Balletomane's Album-Arnold L. Haskell-G

Balletomane's Album-Arnold L. Haskell-G

54,51 €
Zum Angebot
Produktbild - COMPILER CONSTRUCTION MONOGRAPHS IN COMPUTER SCIENCE By Gerhard Goos - NEW

COMPILER CONSTRUCTION MONOGRAPHS IN COMPUTER SCIENCE By Gerhard Goos - NEW

27,25 €
Zum Angebot
Produktbild - Interactive Theorem Proving

Interactive Theorem Proving

50,49 €
Zum Angebot
Produktbild - Practical Compiler Construction

Practical Compiler Construction

56,72 €
Zum Angebot
Produktbild - Proving History: Bayes's Theorem by Richard Carrier (Hardcover Book) Religion

Proving History: Bayes's Theorem by Richard Carrier (Hardcover Book) Religion

29,72 €
Zum Angebot
Produktbild - Formal Methods in Artificial Intelligence by Allan Ramsay (English) Paperback Bo

Formal Methods in Artificial Intelligence by Allan Ramsay (English) Paperback Bo

49,76 €
Zum Angebot
Produktbild - Theorem Proving with Analytic Tableaux and Related Methods: 5th International Wo

Theorem Proving with Analytic Tableaux and Related Methods: 5th International Wo

66,97 €
Zum Angebot
Produktbild - Theorem Proving with Analytic Tableaux and Related Methods: 4th International Wo

Theorem Proving with Analytic Tableaux and Related Methods: 4th International Wo

66,97 €
Zum Angebot
* Affiliate-Link zur Verkaufsplattform Ebay