Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Buch Springer
10,62 €
Das Buch bietet eine detaillierte Einführung in die Nutzung von Isabelle/HOL als Werkzeug zur formalen Verifikation und Beweisführung. Zudem führt es den Leser durch die Installation, grundlegende Konzepte und fortgeschrittene Techniken im Umgang mit dem System.
Jetzt bei Ebay:
