Isabelle/HOL: A Proof Assistant for Higher Order Logic (Lecture Notes in Computer Science, Band 2283)
Preise von
60,38
Hervorgehoben
|
60,38 € |
Zum Shop
|
|
60,38 € |
Zum Shop
|
|
64,19 € |
Zum Shop
|
| ALLE WEBSHOPS VERGLEICHEN (3) | ||
Beschreibung
Isabelle/HOL: A Proof Assistant for Higher Order Logic (Lecture Notes in Computer Science, Band 2283)
Beschreibung
(0)
Isabelle/HOL: A Proof Assistant for Higher Order Logic (Lecture Notes in Computer Science, Band 2283)
Produktspezifikationen
Preis-Historie
* Die Preishistorie enthält keine Daten von Amazon, Amazon Marketplace.
Preise zuletzt aktualisiert am:
Verwandte Ergebnisse
Hervorgehobene Wahl
60,38 €
