Mit Bücher.World findest Du Bücher Du in hunderten Online-Shops - von Romanen bis zur Fachliteratur.
Bücher.World ist eine Suchmaschine speziell für Bücher.
Mit Bücher.World kannst Du ganz einfach nach Romanen, Fachliteratur, Sachbüchern, Lexika und mehr im Internet suchen - wir zeigen Dir die besten Angebote, die wir in mehreren hundert Online-Buchfachgeschäften finden konnten. Mit einem Klick gelangst Du auf die Seite des Online-Shops, in dem Du das Buch kaufen kannst.
Kategorien
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)

58,84 €
Einband: Taschenbuch
Seitenzahl: 240 Seiten
Erscheinungsdatum: 01.01.1970
Verlag: Springer
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...
Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, Ban...
18,12 €
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
Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, Ban...
Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, Ban...
23,97 €
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
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
Bewerte das Buch
Absenden
  • Habe ich gelesen
  • Möchte ich noch lesen
  • Lieblingsbücher
  • Wunschliste

Aktuelle Bestseller des Verlags Springer

Makroökonomik Und Neue Makroökonomik (Springer-Lehrbuch) (German Edition)
Makroökonomik Und Neue Makroökonomik (Springer-Lehrbuch) (German Edition)
gefunden bei medimops
3,99 €
Zum Shop
Analytische Informationssysteme: Business Intelligence-Technologien und -Anwendungen von Springer
Analytische Informationssysteme: Business Intelligence-Technologien und -Anwendungen
Taschenbuch
gefunden bei Amazon
74,99 €
Zum Shop
Chronische Schmerzen: Selbsthilfe und Therapiebegleitung, Orientierung für Angehörige und konkrete Tipps und Fallbeispiele von Springer
Chronische Schmerzen: Selbsthilfe und Therapiebegleitung, Orientierung für Angehörige und konkrete Tipps und Fallbeispiele
Taschenbuch
gefunden bei Amazon
22,99 €
Zum Shop
Lebensphasenorientierte Personalpolitik: Strategien, Konzepte und Praxisbeispiele zur Fachkräftesicherung (IBE-Reihe) von Springer
Lebensphasenorientierte Personalpolitik: Strategien, Konzepte und Praxisbeispiele zur Fachkräftesicherung (IBE-Reihe)
Taschenbuch
gefunden bei Amazon
74,99 €
Zum Shop
Einführung in die kommutative Algebra und algebraische Geometrie von Springer
Einführung in die kommutative Algebra und algebraische Geometrie
Taschenbuch
gefunden bei Amazon
59,99 €
Zum Shop
Physik kompakt 1: Mechanik, Fluiddynamik und Wärmelehre (Springer-Lehrbuch) (German Edition) von Springer
Physik kompakt 1: Mechanik, Fluiddynamik und Wärmelehre (Springer-Lehrbuch) (German Edition)
Taschenbuch
gefunden bei Amazon
37,99 €
Zum Shop
Theoretische Meteorologie: Eine Einführung (German Edition) von Springer
Theoretische Meteorologie: Eine Einführung (German Edition)
Taschenbuch
gefunden bei Amazon
59,99 €
Zum Shop
Fertigungsmesstechnik: Alles zu Messunsicherheit, konventioneller Messtechnik und Multisensorik
Fertigungsmesstechnik: Alles zu Messunsicherheit, konventioneller Messtechnik und Multisensorik
gefunden bei medimops
12,49 €
Zum Shop
New Energy Vehicle Powertrain Technologies and Applications (Key Technologies on New Energy Vehicles) von Springer
New Energy Vehicle Powertrain Technologies and Applications (Key Technologies on New Energy Vehicles)
Taschenbuch
gefunden bei Amazon
133,81 €
Zum Shop
KiloCoachTM: Abnehmen ist lernbar
KiloCoachTM: Abnehmen ist lernbar
Gebundene Ausgabe
gefunden bei Amazon Marketplace
29,99 €
Zum Shop