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

Preise von
65,33

Hervorgehoben

ALLE WEBSHOPS VERGLEICHEN (2)

Beschreibung

Amazon Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, Band 2283)
Description Beschreibung
Product Specifications Produktspezifikationen
Verwandte Ergebnisse Verwandte Ergebnisse
Next
Previous

Webshops vergleichen (2)

Shop
Preis
Versandkosten
Total price
Amazon Logo
65,33 €
Gratis
65,33 €
Zum Shop
Gratis Shipping Costs
Amazon Marketplace Logo
65,33 €
Gratis
65,33 €
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

Springer

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

11,44 €
2 Shops vergleichen 2 Shops

Springer

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

22,89 €
2 Shops vergleichen 2 Shops

Springer

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

26,32 €
2 Shops vergleichen 2 Shops

Cambridge University Press

Higher Order Logic and Hardware Verification (Cambridge Tracts in Theoretical Computer Science)

116,93 €
Weitere Informationen Mehr Infos
Hervorgehobene Wahl
65,33 €
Zum Shop