-von-Nipkow,-Tobias-731725420.jpg "Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, Band 2283)")
Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, Band 2283)
von Nipkow, Tobias
58,82 €
gefunden bei Amazon
Zum Shop
Beschreibung
Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, Band 2283)
Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, Band 2283) von Nipkow, Tobias im Online-Buchhandel:
Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, Ban...
15,88 €
gefunden bei Studibuch Shop DE
"Isabelle/HOL: A Proof Assistant for Higher-Order Logic" von Markus Wenzel ist ein umfassendes Werk,...
"Isabelle/HOL: A Proof Assistant for Higher-Order Logic" von Markus Wenzel ist ein umfassendes Werk, das sich mit dem interaktiven Theorembeweiser Isabelle beschäftigt, insbesondere in seiner Ausprägung für Higher-Order Logic (HOL). Das Buch bietet eine detaillierte Einführung in die Nutzung von Isabelle/HOL als Werkzeug zur formalen Verifikation und Beweisführung. Es behandelt die theoretischen Grundlagen der höheren Prädikatenlogik sowie praktische Anwendungen und Implementierungen. Zudem führt es den Leser durch die Installation, grundlegende Konzepte und fortgeschrittene Techniken im Umgang mit dem System. Ziel des Buches ist es, sowohl Anfängern als auch erfahrenen Anwendern einen tiefgehenden Einblick in die Funktionsweise und Möglichkeiten von Isabelle/HOL zu geben, um mathematische Beweise effizienter zu gestalten und komplexe logische Probleme zu lösen.
Seitenzahl: 240 Seiten
Zur Online-Buchhandlung von
Studibuch Shop DE
Studibuch Shop DE
Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, Ban...
21,01 €
gefunden bei Studibuch Shop DE
"Isabelle/HOL: A Proof Assistant for Higher-Order Logic" von Markus Wenzel ist ein umfassendes Werk,...
"Isabelle/HOL: A Proof Assistant for Higher-Order Logic" von Markus Wenzel ist ein umfassendes Werk, das sich mit dem interaktiven Theorembeweiser Isabelle beschäftigt, insbesondere in seiner Ausprägung für Higher-Order Logic (HOL). Das Buch bietet eine detaillierte Einführung in die Nutzung von Isabelle/HOL als Werkzeug zur formalen Verifikation und Beweisführung. Es behandelt die theoretischen Grundlagen der höheren Prädikatenlogik sowie praktische Anwendungen und Implementierungen. Zudem führt es den Leser durch die Installation, grundlegende Konzepte und fortgeschrittene Techniken im Umgang mit dem System. Ziel des Buches ist es, sowohl Anfängern als auch erfahrenen Anwendern einen tiefgehenden Einblick in die Funktionsweise und Möglichkeiten von Isabelle/HOL zu geben, um mathematische Beweise effizienter zu gestalten und komplexe logische Probleme zu lösen.
Seitenzahl: 240 Seiten
Zur Online-Buchhandlung von
Studibuch Shop DE
Studibuch Shop DE
-von-Nipkow,-Tobias-731662494.jpg "Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, Band 2283)")
Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, Band 2283)
von Nipkow, Tobias
58,84 €
gefunden bei Amazon Marketplace
Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, Band 2283...
Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, Band 2283)
Einband: Taschenbuch, Seitenzahl: 240 Seiten
Zur Online-Buchhandlung von
Amazon Marketplace
Amazon Marketplace
Bewerte das Buch
- Habe ich gelesen
- Möchte ich noch lesen
- Lieblingsbücher
- Wunschliste
Weitere Bücher von Nipkow, Tobias
-von-Nipkow,-Tobias-731662494.jpg?w=800 "Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, Band 2283)")
Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, Band 2283)
von Nipkow, Tobias
gefunden bei Amazon Marketplace
ab 58,84 €
Aktuelle Bestseller des Verlags Springer
-745617239.jpg "Pharmaceutical Formulations for Older Patients (AAPS Advances in the Pharmaceutical Sciences Series, Band 51)")
-416788705.jpg "Spielregeln für Beruf und Karriere: Erfolgreich durchs Berufsleben (VDI-Buch / VDI-Karriere)")
Mathematical Modelling
von Heiliö, Matti
Taschenbuch
gefunden bei Amazon Marketplace
53,49 €
Zum Shop
-von-Pitacco,-Ermanno-704809197.jpg "ERM and QRM in Life Insurance: An Actuarial Primer (Springer Actuarial Lecture Notes)")
ERM and QRM in Life Insurance: An Actuarial Primer (Springer Actuarial Lecture Notes)
von Pitacco, Ermanno
Taschenbuch
gefunden bei Amazon
59,99 €
Zum Shop
-730296833.jpg "Crop Science: A Volume in the Encyclopedia of Sustainability Science an Technology, Second Edition (Encyclopedia of Sustainability Science and Technology Series)")
-von-Johannes-Moskaliuk-72968577.jpg "Leistungsblockaden verstehen und verändern: Psychologisches Praxiswissen für Coaches und Führungskräfte (essentials)")