Isabelle/HOL: A Proof Assistant for Higher Order Logic (Lecture Notes in Computer Science, Band 2283)

Preise von
60,38

Hervorgehoben

ALLE WEBSHOPS VERGLEICHEN (1)

Beschreibung

Amazon Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, Band 2283)
Description Beschreibung
Product Specifications Produktspezifikationen
Related Products Vergleichbare Produkte
?>
Next
Previous

Webshops vergleichen (1)

Shop
Preis
Versandkosten
Total price
Amazon Logo
60,38 €
Gratis
60,38 €
Zum Shop
Gratis Shipping Costs
Beschreibung (1)

Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, Band 2283)

Produktspezifikationen

Marken Springer
EAN
  • 9783540433767

Preise zuletzt aktualisiert am:

Springer

First Order Dynamic Logic (Lecture Notes in Computer Science, 68, Band 68)

11,44 €
Weitere Informationen Mehr Infos

Springer

Edinburgh LCF: A Mechanized Logic of Computation (Lecture Notes in Computer Science,...

22,89 €
Weitere Informationen Mehr Infos

Springer

Axiomatising the Logic of Computer Programming (Lecture Notes in Science, 130, Band 130)

26,32 €
Weitere Informationen Mehr Infos

Springer

The Logic of Information Structures (Lecture Notes in Computer Science, 681, Band 681)

57,23 €
Weitere Informationen Mehr Infos
Hervorgehobene Wahl
60,38 €
Zum Shop